loglib: fix naming of last slide deck
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 4 Mar 2020 14:20:29 +0000 (15:20 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 4 Mar 2020 14:20:29 +0000 (15:20 +0100)
teaching/1920/loglib/cours-04-legal.pdf [deleted file]
teaching/1920/loglib/cours-04-licenses.pdf [new file with mode: 0644]

diff --git a/teaching/1920/loglib/cours-04-legal.pdf b/teaching/1920/loglib/cours-04-legal.pdf
deleted file mode 100644 (file)
index 6cad6ef..0000000
Binary files a/teaching/1920/loglib/cours-04-legal.pdf and /dev/null differ
diff --git a/teaching/1920/loglib/cours-04-licenses.pdf b/teaching/1920/loglib/cours-04-licenses.pdf
new file mode 100644 (file)
index 0000000..6cad6ef
Binary files /dev/null and b/teaching/1920/loglib/cours-04-licenses.pdf differ