]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a27fe14) | patch
fixed typo
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Nov 2005 09:47:32 +0000 (09:47 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Nov 2005 09:47:32 +0000 (09:47 +0000)
commitc4cab47c01e5cfae7aa25ce7d6316e7d785815be
tree27a29e14c4a845a2f245f04163f9984e5a8fe347tree | snapshot
parenta27fe140c2777efa829ae9ccbf67ff92c38921a8commit | diff
fixed typo
helm/matita/buildTimeConf.ml.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.