]> matita.cs.unibo.it Git - helm.git/commit
added a binch of svn:ignore
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 30 Aug 2007 13:11:59 +0000 (13:11 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 30 Aug 2007 13:11:59 +0000 (13:11 +0000)
commit792987c9795fe08dd49e970fb1bdc96e3115c28c
tree77e156aed402276e7df67dcaf5cc4f48e482f784
parent2f962277d1c9a17ac3355d71be7e0b8555c90760
added a binch of svn:ignore