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)
commitdaea068011ed008ac1935721528b208b203aa316
tree19647529f9a6368571b97dfb123ba3d933d8a906
parentf2421578f8c1f27653bdd3b61baf656b6a8631a3
loglib: fix naming of last slide deck
teaching/1920/loglib/cours-04-legal.pdf [deleted file]
teaching/1920/loglib/cours-04-licenses.pdf [new file with mode: 0644]