]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 91b02b4) | patch
Fixed bug in .ann extension handling.
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Mar 2001 10:44:21 +0000 (10:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Mar 2001 10:44:21 +0000 (10:44 +0000)
commita6d6fdf56d6d9271b86341f0c986f0a265f15e37
tree4c4654c1a4c80d1a0065bcc1df29670d685394b6tree | snapshot
parent91b02b4d359847ea54be16983ef95c7021f8d7decommit | diff
Fixed bug in .ann extension handling.
helm/http_getter/http_getter.pl.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.