]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5edcb5) | patch
uses DBI handle
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Oct 2004 12:55:01 +0000 (12:55 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Oct 2004 12:55:01 +0000 (12:55 +0000)
commit1059c8c3dd720e3665916aa9beeb3a815b44fa48
tree11d19f77af9a975e7683341cbebcf349e0791667tree | snapshot
parentd5edcb5c5314fe6cc79bdc5980aa561eaa8e600ccommit | diff
uses DBI handle
helm/gTopLevel/chosenTermEditor.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.