]> matita.cs.unibo.it Git - helm.git/commit
Executables are now ignored.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 17 Jul 2008 12:02:22 +0000 (12:02 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 17 Jul 2008 12:02:22 +0000 (12:02 +0000)
commitfa78b52bbdb4f545384de896fda45e513b5866fd
treeb586c51d8050f84741c54e7526eeee9a2a5b27a0
parent4ed8829233095bdf2ab1c15021ba815084d19b70
Executables are now ignored.