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