]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf49712) | patch
- added "cp", a wrapper around omonymous command
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Jan 2003 14:57:41 +0000 (14:57 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Jan 2003 14:57:41 +0000 (14:57 +0000)
commitb077aa16b12755c2bace508154773efc9fa2320c
tree2ceb97291e49e5ca8fa1cc73b8c3dc2180540fcftree | snapshot
parentcf497123176d912bdef9baa16c25ace0ad9477fecommit | diff
- added "cp", a wrapper around omonymous command
- added support for "file://" scheme to "wget" wrapper
helm/http_getter/http_getter_misc.ml diff | blob | history
helm/http_getter/http_getter_misc.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.