]> matita.cs.unibo.it Git - helm.git/commit
byproducts of compilation ignored for svn
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 21 Dec 2015 15:18:16 +0000 (15:18 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 21 Dec 2015 15:18:16 +0000 (15:18 +0000)
commitafdff86e81727eed9f7828b53d132c46ac7b4d1d
tree6961dcafebef423aa96b0335b128e4973b24fa5e
parent2ffd7e47f1872878f6af4084074655da5cf3b23e
byproducts of compilation ignored for svn