summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCamil Staps2018-04-24 22:51:32 +0200
committerCamil Staps2018-04-24 22:51:32 +0200
commit846db7e6ce170d74245acfe89b688bd0b27e6422 (patch)
tree0561c5933b22df4ba08a7ae59569b1cee4d0a8be
parentAdd templates for exercises 8-12 (diff)
Ignore pdf files
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index f1e5b1b..d56598b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
*.v#
+*.pdf