diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
| @@ -1,5 +1,4 @@ | |||
| 1 | exercises-luca | 1 | exercises-luca |
| 2 | notes.txt | 2 | notes.txt |
| 3 | notes-schlenker.pdf | ||
| 4 | solutions | 3 | solutions |
| 5 | preplogic-solutions.pdf | 4 | preplogic-solutions.pdf |