]> matita.cs.unibo.it Git - helm.git/blob - helm/http_getter/tools/uri_unescape.pl
All the equalityTactics have now been ported to use both the equality of
[helm.git] / helm / http_getter / tools / uri_unescape.pl
1 #!/usr/bin/perl -w
2 use strict;
3
4 # unescape a URI escaped with uri escaping
5 #
6 # Stefano "Zack" Zacchiroli <zack@cs.unibo.it>
7 #
8
9 use URI::Escape;
10
11 while(<>) {
12  chomp;
13  print uri_unescape($_);
14  print "\n";
15 }