]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e16720) | patch
some supplementary items for web site
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 19 Nov 2018 19:29:48 +0000 (20:29 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 19 Nov 2018 19:29:48 +0000 (20:29 +0100)
commitae3e8f274a39b9ce5b551163f7fd76f3b8b4ed58
treef7c5239b99c7bbbdb90127cebdce89de42306467tree | snapshot
parent0e16720654c6667b94433e91dddc3c53b904e200commit | diff
some supplementary items for web site

one icon and on css file
helm/www/lambdadelta/css/martha.cs [new file with mode: 0644] blob
helm/www/lambdadelta/css/wanda.css [deleted file] blob | history
helm/www/lambdadelta/images/martha_32.ico [new file with mode: 0644] blob
helm/www/lambdadelta/images/wanda_32.ico [deleted file] blob | history
helm/www/lambdadelta/xcf/martha_32.xcf [new file with mode: 0644] blob
helm/www/lambdadelta/xcf/wanda_32.xcf [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.