]> matita.cs.unibo.it Git - helm.git/commitdiff
- 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)
- added support for "file://" scheme to "wget" wrapper


No differences found