Ignore PDFs generated from DOT files.

erdos-project · Nov 1, 2023 · dd5ec73 · dd5ec73
1 parent b4e1c2f
commit dd5ec73
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -13,6 +13,7 @@
 /*.log
 /*.dot
 /*.png
+/*.pdf
 
 # Virtual environment.
 venv