]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e678e3b) | patch
new icons for the lambda-delta web site
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 Jul 2010 16:15:22 +0000 (16:15 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 Jul 2010 16:15:22 +0000 (16:15 +0000)
commitd4e96ffe4ccff60272cf3534d0104aea05ac366b
tree1073679b3dfe358216460c862ece9973882429dctree | snapshot
parente678e3b1a88e657401902bbddad02d3a4d70205acommit | diff
new icons for the lambda-delta web site
helm/software/lambda-delta/icons/b3.png [new file with mode: 0644] blob
helm/software/lambda-delta/icons/b4.png [new file with mode: 0644] blob
helm/software/lambda-delta/icons/b5.png [new file with mode: 0644] blob
helm/software/lambda-delta/icons/b9.png [new file with mode: 0644] blob
helm/software/lambda-delta/icons/rainbow.png [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.