aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano.tronto@gmail.com>2021-09-06 10:29:24 +0200
committerSebastiano Tronto <sebastiano.tronto@gmail.com>2021-09-06 10:29:24 +0200
commit502379c0540d55f1ca5341b69f89c68994a22f02 (patch)
treeb137489c39ffe869ba1a26d762eb6d82b6945d67 /.gitignore
parentad1f929a973c2b6e119f36ec47d214352eef01eb (diff)
downloadpreplogic-502379c0540d55f1ca5341b69f89c68994a22f02.tar.gz
preplogic-502379c0540d55f1ca5341b69f89c68994a22f02.zip
Changed date, solutions hidden
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index be7dde1..9156717 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,5 @@
1exercises-luca 1exercises-luca
2notes.txt 2notes.txt
3notes-schlenker.pdf 3notes-schlenker.pdf
4solutions
5preplogic-solutions.pdf

Generated with cgit - Back to sebastiano.tronto.net