]> matita.cs.unibo.it Git - helm.git/commitdiff
mywget => helm_wget
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 17:53:54 +0000 (17:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 17:53:54 +0000 (17:53 +0000)
helm/interface/helm_wget.in

index b0d29df47c5dbd28b09496ab76c32610e9029d18..8aa0260cb8b746327c88f22ff594f805243d50c4 100755 (executable)
@@ -1,7 +1,7 @@
 #!@PERL_BINARY@
 
 if ($#ARGV != 1) {
- print STDERR "Usage: mywget prefix URL\n";
+ print STDERR "Usage: helm_wget prefix URL\n";
  exit -1;
 }