]> matita.cs.unibo.it Git - helm.git/commit
misspelled filename :(
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 19 Jun 2014 14:19:55 +0000 (14:19 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 19 Jun 2014 14:19:55 +0000 (14:19 +0000)
commitf6923ff81abc829b20c6d01801fd6b98ab88cd65
treeaac1990849f6de73f8bdd611d372cb85952fc012
parent47293eadb6240cdfa50cc9571aeddcc85b229b51
misspelled filename :(
helm/www/lambdadelta/download/ld-talk-8s.pdf [deleted file]
helm/www/lambdadelta/download/ld_talk_8s.pdf [new file with mode: 0644]