diff options
author | InigoGutierrez <inigogf.95@gmail.com> | 2022-07-01 15:40:57 +0200 |
---|---|---|
committer | InigoGutierrez <inigogf.95@gmail.com> | 2022-07-01 15:40:57 +0200 |
commit | 4cc55348c8dbb1902a1246fba66237d5c59f0349 (patch) | |
tree | ebc363dec6ae00f711be7ebd6e31530f25af1d9f /.gitignore | |
parent | 6724aeb3ba98c1b9f042344734c2d683e79dfc64 (diff) | |
download | imago-4cc55348c8dbb1902a1246fba66237d5c59f0349.tar.gz imago-4cc55348c8dbb1902a1246fba66237d5c59f0349.zip |
Finished writing documentation.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -9,7 +9,7 @@ *.pdf doc/out/ doc/diagrams/*.png -_minted-tfg/ +_minted-imago/ # src __pycache__/ |