]> matita.cs.unibo.it Git - helm.git/commit
set svn:ignore to *.ml in the deve directories
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 7 Nov 2007 20:24:34 +0000 (20:24 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 7 Nov 2007 20:24:34 +0000 (20:24 +0000)
commit923a48f491b0e6295bd1f176049d4ceb83291d9c
treebaa2f1ed0c69c8587ee0bb6c41c7c9f409a7e83a
parentcf5540f056d6d4fa1612e08d41253d1d009f5d44
set svn:ignore to *.ml in the deve directories