]> matita.cs.unibo.it Git - helm.git/commit
ignore tons of generated stuff
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 28 Dec 2007 14:22:55 +0000 (14:22 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 28 Dec 2007 14:22:55 +0000 (14:22 +0000)
commitb70217c61654d941b7c0daec20c411e226a0ae84
tree701f076036097ccb6a41d1d59d53d1fa040b3d1c
parentfd59d7976b78befa809be455dcb5af1db1955d4f
ignore tons of generated stuff