]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb1616b) | patch
removed old ignore lines about matita.conf.xml.ROLE
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Jun 2006 14:33:23 +0000 (14:33 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Jun 2006 14:33:23 +0000 (14:33 +0000)
commit055d70a5a4eb9d05ec21c38fb0e50c39a8f3ad88
tree148daa3674270523398a621c4997e9e387fed5b2tree | snapshot
parentfb1616ba8bbaeb0dce60fb463ec4a9f48b11a082commit | diff
removed old ignore lines about matita.conf.xml.ROLE
Unnamed repository; edit this file 'description' to name the repository.