]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 315b5ad) | patch
the version command has been renamed into help, the syntax of the available
authorLuca Padovani <luca.padovani@unito.it>
Thu, 8 Mar 2001 11:05:21 +0000 (11:05 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 8 Mar 2001 11:05:21 +0000 (11:05 +0000)
commitef9e59ebe09298c1295ebdd52a9517f1eafcab63
tree058ba2a944c7ebb2c2c09bccff79b519f8c8ac48tree | snapshot
parent315b5ad70270b2b5b151a512501b30b50b6c4916commit | diff
the version command has been renamed into help, the syntax of the available
commands will be added soon
helm/http_getter/http_getter.pl.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.