]> matita.cs.unibo.it Git - helm.git/commit
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
tree1073679b3dfe358216460c862ece9973882429dc
parente678e3b1a88e657401902bbddad02d3a4d70205a
new icons for the lambda-delta web site
helm/software/lambda-delta/icons/b3.png [new file with mode: 0644]
helm/software/lambda-delta/icons/b4.png [new file with mode: 0644]
helm/software/lambda-delta/icons/b5.png [new file with mode: 0644]
helm/software/lambda-delta/icons/b9.png [new file with mode: 0644]
helm/software/lambda-delta/icons/rainbow.png [new file with mode: 0644]