]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: afe21e4) | patch
removed debug saving of "foo.conf.xml"
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 5 Oct 2005 09:13:09 +0000 (09:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 5 Oct 2005 09:13:09 +0000 (09:13 +0000)
commit6d1af82b714e5c6a7f33534d6832598e72cb23c3
tree53ab2ab4272af5f8e0922e84eb66edd139a37107tree | snapshot
parentafe21e48aefe81db3ca150fac9a5bbfbc893fa59commit | diff
removed debug saving of "foo.conf.xml"
helm/matita/matitaInit.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.