diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-09-09 09:11:16 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-09-09 09:11:16 +0200 |
| commit | 7ab9e9a9fe08dc03f6d8ba4d2fd86a4e52a4a5b3 (patch) | |
| tree | 38b023d2c636865f37a578ec3c28969d37cf6d0c /.gitignore | |
| parent | 6b2bf010cc5ba3f57f22769c8e809d029026c26d (diff) | |
| download | preplogic-7ab9e9a9fe08dc03f6d8ba4d2fd86a4e52a4a5b3.tar.gz preplogic-7ab9e9a9fe08dc03f6d8ba4d2fd86a4e52a4a5b3.zip | |
Added notes by Jean-Marc Schlenker
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 |