loglib: fix cours-01 slide naming
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 19 Jan 2016 13:31:11 +0000 (14:31 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 19 Jan 2016 13:31:11 +0000 (14:31 +0100)
teaching/1516/loglib/cours-01-introduction.pdf [new file with mode: 0644]
teaching/1516/loglib/cours-01-presentation.pdf [deleted file]

diff --git a/teaching/1516/loglib/cours-01-introduction.pdf b/teaching/1516/loglib/cours-01-introduction.pdf
new file mode 100644 (file)
index 0000000..0e6ae7c
Binary files /dev/null and b/teaching/1516/loglib/cours-01-introduction.pdf differ
diff --git a/teaching/1516/loglib/cours-01-presentation.pdf b/teaching/1516/loglib/cours-01-presentation.pdf
deleted file mode 100644 (file)
index 0e6ae7c..0000000
Binary files a/teaching/1516/loglib/cours-01-presentation.pdf and /dev/null differ