]> matita.cs.unibo.it Git - helm.git/commit
-bugfix in the "profile" entry
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 25 Feb 2010 21:19:29 +0000 (21:19 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 25 Feb 2010 21:19:29 +0000 (21:19 +0000)
commit9c6a69b957895d429f1c8d3ae4cebe529ab70433
tree401821df93dfe73ab3c53707fd8fb84785d7f2c1
parentadb0fc58f7de5c1741cf18bed8a2251e8313f103
-bugfix in the "profile" entry
helm/software/lambda-delta/Makefile