From 5870cbc99d45f288c34a8c732905f2e248299ff1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Robert=20Kr=C3=A1tk=C3=BD?= Date: Fri, 13 Oct 2023 14:16:31 +0200 Subject: [PATCH] Fix greedy .gitignore. --- doc/.gitignore | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/doc/.gitignore b/doc/.gitignore index 869f7224..d261ebfc 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,2 +1,9 @@ +/*env*/ +.sphinx/venv/ +.sphinx/warnings.txt +.sphinx/.wordlist.dic +.sphinx/.doctrees/ _build -.sphinx +.DS_Store +__pycache__ +.idea/