diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2018-09-06 12:39:27 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2018-09-06 12:39:27 +0200 |
| commit | 2fa69381b8332949cbd5eaedd1203ae89d0f5962 (patch) | |
| tree | e4c4482ebefacb34e4567512314587a6bb2d3e03 /files.txt | |
| parent | bab946cbb2b75b1a413c4b12005d1d60123d8eff (diff) | |
| download | courses-2fa69381b8332949cbd5eaedd1203ae89d0f5962.tar.gz | |
improved makefile
Diffstat (limited to 'files.txt')
| -rw-r--r-- | files.txt | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/files.txt b/files.txt deleted file mode 100644 index afd71db..0000000 --- a/files.txt +++ /dev/null | |||
| @@ -1,5 +0,0 @@ | |||
| 1 | files.txt | ||
| 2 | makefile | ||
| 3 | README.md | ||
| 4 | README.tex | ||
| 5 | sandbox/01.tex \ No newline at end of file | ||