chore: Update docs/.gitignore to make branch switching easier

This commit is contained in:
Wolfgang Walther
2024-02-24 18:44:25 +01:00
parent 4b5bdbc496
commit 0a0d3943c2
+2
View File
@@ -4,3 +4,5 @@ Pipfile.lock
*.log
_diagrams/db.pdf
misspellings
unuseddict
*.mo