aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 7ef0bde..6b6d3ea 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,6 +5,7 @@
archive/*
backups/*
compiled/*
+public/*
slides/*.pdf
_main_files
@@ -19,4 +20,3 @@ _main_files
# Local customizations
Makefile.local
-public