diff options
| -rw-r--r-- | Info/9/3/Planet/.gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Info/9/3/Planet/.gitignore b/Info/9/3/Planet/.gitignore index 9a4abe7a..0e78476a 100644 --- a/Info/9/3/Planet/.gitignore +++ b/Info/9/3/Planet/.gitignore @@ -8,4 +8,4 @@ plots/ _minted/ *.fdb_latexmk *.fls -glossary.xml +glossar.xml |