loglib: publish cours-09-dinsic master
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 11 Apr 2019 09:58:47 +0000 (11:58 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 11 Apr 2019 09:58:47 +0000 (11:58 +0200)
teaching/1819/loglib/cours-06-catb.pdf [deleted file]
teaching/1819/loglib/cours-07-catb.pdf [new file with mode: 0644]
teaching/1819/loglib/cours-09-dinsic.pdf [new file with mode: 0644]

diff --git a/teaching/1819/loglib/cours-06-catb.pdf b/teaching/1819/loglib/cours-06-catb.pdf
deleted file mode 100644 (file)
index 077fcc5..0000000
Binary files a/teaching/1819/loglib/cours-06-catb.pdf and /dev/null differ
diff --git a/teaching/1819/loglib/cours-07-catb.pdf b/teaching/1819/loglib/cours-07-catb.pdf
new file mode 100644 (file)
index 0000000..077fcc5
Binary files /dev/null and b/teaching/1819/loglib/cours-07-catb.pdf differ
diff --git a/teaching/1819/loglib/cours-09-dinsic.pdf b/teaching/1819/loglib/cours-09-dinsic.pdf
new file mode 100644 (file)
index 0000000..6b522e7
Binary files /dev/null and b/teaching/1819/loglib/cours-09-dinsic.pdf differ