loglib: rename external courses
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 31 Mar 2016 07:50:11 +0000 (09:50 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 31 Mar 2016 07:50:11 +0000 (09:50 +0200)
commit676b2033dc93d08ad4ec2593294ceaff195cfca9
treeb68ff6792116fa335f3f73210aa2417cd9c271c9
parentfba34f64a5b11b18c4f225398eb8d4134bea94a9
loglib: rename external courses
teaching/1516/loglib/cours-03-johns-fsf.pdf [deleted file]
teaching/1516/loglib/cours-05-ledru-mozilla.pdf [deleted file]
teaching/1516/loglib/cours-ext-johns-fsf.pdf [new file with mode: 0644]
teaching/1516/loglib/cours-ext-ledru-mozilla.pdf [new file with mode: 0644]