loglib: fix TD naming
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 28 Feb 2017 08:22:02 +0000 (09:22 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 28 Feb 2017 08:22:02 +0000 (09:22 +0100)
teaching/1617/loglib/cours-04-licenses-2.pdf [deleted file]
teaching/1617/loglib/cours-05-licenses-3.pdf [deleted file]
teaching/1617/loglib/td-04-licenses-2.pdf [new file with mode: 0644]
teaching/1617/loglib/td-05-licenses-3.pdf [new file with mode: 0644]

diff --git a/teaching/1617/loglib/cours-04-licenses-2.pdf b/teaching/1617/loglib/cours-04-licenses-2.pdf
deleted file mode 100644 (file)
index 21a2005..0000000
Binary files a/teaching/1617/loglib/cours-04-licenses-2.pdf and /dev/null differ
diff --git a/teaching/1617/loglib/cours-05-licenses-3.pdf b/teaching/1617/loglib/cours-05-licenses-3.pdf
deleted file mode 100644 (file)
index 4d328c1..0000000
Binary files a/teaching/1617/loglib/cours-05-licenses-3.pdf and /dev/null differ
diff --git a/teaching/1617/loglib/td-04-licenses-2.pdf b/teaching/1617/loglib/td-04-licenses-2.pdf
new file mode 100644 (file)
index 0000000..21a2005
Binary files /dev/null and b/teaching/1617/loglib/td-04-licenses-2.pdf differ
diff --git a/teaching/1617/loglib/td-05-licenses-3.pdf b/teaching/1617/loglib/td-05-licenses-3.pdf
new file mode 100644 (file)
index 0000000..4d328c1
Binary files /dev/null and b/teaching/1617/loglib/td-05-licenses-3.pdf differ