]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/tools/uri_escape.pl
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / http_getter / tools / uri_escape.pl
diff --git a/helm/http_getter/tools/uri_escape.pl b/helm/http_getter/tools/uri_escape.pl
deleted file mode 100755 (executable)
index 0303e3f..0000000
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/usr/bin/perl -w
-use strict;
-
-# escape a URI with uri escaping
-#
-# Stefano "Zack" Zacchiroli <zack@cs.unibo.it>
-#
-
-
-use URI::Escape;
-
-while(<>) {
- chomp;
- print uri_escape($_);
- print "\n";
-}