]> matita.cs.unibo.it Git - helm.git/commit - helm/uwobo/src/ocaml/uwobo_common.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2eff387) | patch
typo fixes in usage string
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Mar 2003 17:24:31 +0000 (17:24 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Mar 2003 17:24:31 +0000 (17:24 +0000)
commite2ee856cd1e7639d4946d838cbf5a93f39b6bdae
tree95fb51d9d1421c777ca1f9164bac9e99beb4ccfctree | snapshot
parent2eff3872d9e65ffe12f654aa1feff78ccb2953c6commit | diff
typo fixes in usage string
helm/uwobo/src/ocaml/uwobo_common.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.