loglib: fix naming of TD pdf
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 11 Mar 2015 10:13:39 +0000 (11:13 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 11 Mar 2015 10:13:39 +0000 (11:13 +0100)
commitd7e5e758f1da08cc8ce3d7a8dd1ee5cdd7057923
tree47031e4233c06da560fadca30fc614932203694c
parent6576cd90c9e0603cdbd024a54a884c4907849b90
loglib: fix naming of TD pdf
teaching/1415/loglib/cours-05-licenses-3.pdf [deleted file]
teaching/1415/loglib/td-05-licenses-3.pdf [new file with mode: 0644]