]> matita.cs.unibo.it Git - helm.git/commit
svn:ignore set
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 8 Nov 2007 14:02:56 +0000 (14:02 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 8 Nov 2007 14:02:56 +0000 (14:02 +0000)
commit616509324d3090e5c672c0452efea36f65b04975
treed89997509e09c2dd3e01703eeb5886790420cfed
parentca502ca83c2db2358b256cf7489ec38dd8e3faf9
svn:ignore set