loglib: fix naming of TD pdf
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 11 Mar 2015 10:13:39 +0000 (11:13 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 11 Mar 2015 10:13:39 +0000 (11:13 +0100)
teaching/1415/loglib/cours-05-licenses-3.pdf [deleted file]
teaching/1415/loglib/td-05-licenses-3.pdf [new file with mode: 0644]

diff --git a/teaching/1415/loglib/cours-05-licenses-3.pdf b/teaching/1415/loglib/cours-05-licenses-3.pdf
deleted file mode 100644 (file)
index 6f7772c..0000000
Binary files a/teaching/1415/loglib/cours-05-licenses-3.pdf and /dev/null differ
diff --git a/teaching/1415/loglib/td-05-licenses-3.pdf b/teaching/1415/loglib/td-05-licenses-3.pdf
new file mode 100644 (file)
index 0000000..6f7772c
Binary files /dev/null and b/teaching/1415/loglib/td-05-licenses-3.pdf differ