]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d967a86) | patch
added useful tools for perl debugging:
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 26 Jun 2001 16:12:32 +0000 (16:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 26 Jun 2001 16:12:32 +0000 (16:12 +0000)
commit24463849d4236a0a7c848c0cf657e927514d75d4
treeb4930073dff51d3e85de0863627846d68637d162tree | snapshot
parentd967a8607248901371c32efdd510e3d1fe353bd5commit | diff
added useful tools for perl debugging:
- tools/dump_db.pl => print out a dump of a .db file
- tools/uri_escape.pl => escape a URI
- tools/uri_unescape.pl => unescape a URI

very little things, but really useful!
helm/http_getter/tools/dump_db.pl [new file with mode: 0755] blob
helm/http_getter/tools/uri_escape.pl [new file with mode: 0755] blob
helm/http_getter/tools/uri_unescape.pl [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.