]> matita.cs.unibo.it Git - helm.git/commit
supplementary files for web site
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 19 Nov 2018 19:36:53 +0000 (20:36 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 19 Nov 2018 19:36:53 +0000 (20:36 +0100)
commitbaa054dbb476c30576bf11b81246008a7de53462
tree2638c5e269dbde41d48055eb045c7451f302ff7b
parent9faea203fd99a44d75ea8bcd15b59942a4226922
supplementary files for web site

+ css file name corrected
helm/www/lambdadelta/css/martha.cs [deleted file]
helm/www/lambdadelta/css/martha.css [new file with mode: 0644]