]> matita.cs.unibo.it Git - helm.git/commit
renaming ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 8 Apr 2016 21:34:02 +0000 (21:34 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 8 Apr 2016 21:34:02 +0000 (21:34 +0000)
commit2a6ee971c38ab91a1cd04b3d822f2f475bde8077
treefb41cce47b8171a6e0544cf42063395b5ebb2563
parent049f6a9c248a1638495196e04cf17d30154d5de4
renaming ...
helm/www/lambdadelta/images/smile.png [new file with mode: 0644]
helm/www/lambdadelta/images/smile.xcf [new file with mode: 0644]
helm/www/lambdadelta/images/smiley.png [deleted file]
helm/www/lambdadelta/images/smiley.xcf [deleted file]