loglib: rename wrongly named TD PDF
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 5 Feb 2019 14:11:28 +0000 (15:11 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 5 Feb 2019 14:11:28 +0000 (15:11 +0100)
teaching/1819/loglib/cours-02-philosophy.pdf [deleted file]
teaching/1819/loglib/td-02-philosophy.pdf [new file with mode: 0644]

diff --git a/teaching/1819/loglib/cours-02-philosophy.pdf b/teaching/1819/loglib/cours-02-philosophy.pdf
deleted file mode 100644 (file)
index e25b20e..0000000
Binary files a/teaching/1819/loglib/cours-02-philosophy.pdf and /dev/null differ
diff --git a/teaching/1819/loglib/td-02-philosophy.pdf b/teaching/1819/loglib/td-02-philosophy.pdf
new file mode 100644 (file)
index 0000000..e25b20e
Binary files /dev/null and b/teaching/1819/loglib/td-02-philosophy.pdf differ