loglib: rename wrongly named TD PDF
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 5 Feb 2019 14:11:28 +0000 (15:11 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 5 Feb 2019 14:11:28 +0000 (15:11 +0100)
commite87a66bb67bdaa36dc9dbb60eadcfe0ad8ca21e9
treeedfbececea0dbaaf04596c1beee9dc0d0f61892e
parente4b90de77da154e4db58aa479b4a6a95eac36e0f
loglib: rename wrongly named TD PDF
teaching/1819/loglib/cours-02-philosophy.pdf [deleted file]
teaching/1819/loglib/td-02-philosophy.pdf [new file with mode: 0644]