]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0c7bc1) | patch
fixed typo
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 17 Feb 2004 18:12:38 +0000 (18:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 17 Feb 2004 18:12:38 +0000 (18:12 +0000)
commit5ad1347cdf0f5746b11616696a57a996a02270f3
tree11abf577a984f06249ee9c95e9ba8d252fc3c367tree | snapshot
parentb0c7bc14d7d416729d23ec2e18613141c1264faccommit | diff
fixed typo
helm/gTopLevel/.cvsignore diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.