chiark / gitweb /
Move most .pl scripts to names without extensions. Drop ssize.pl, which I
authorColin Watson <cjwatson@chiark.greenend.org.uk>
Tue, 10 Sep 2002 10:29:28 +0000 (10:29 +0000)
committerColin Watson <cjwatson@chiark.greenend.org.uk>
Tue, 10 Sep 2002 10:29:28 +0000 (10:29 +0000)
commitece46611b24954ba4ec16cc12e5083acc319bc41
treecda1492a6599b6a39a199010626a102879d1e10e
parent3f5411d8579463cfb3e89c2aef032aa1bb0dbe3a
Move most .pl scripts to names without extensions. Drop ssize.pl, which I
don't use any more.
dctrl-mailbox [moved from dctrl-mailbox.pl with 100% similarity]
expandvars [moved from expandvars.pl with 100% similarity]
genheaders
get-var [moved from get-var.pl with 100% similarity]
mailsort [moved from mailsort.pl with 100% similarity]
ssize.pl [deleted file]
taskbot [moved from taskbot.pl with 100% similarity]
verify-status [moved from verify-status.pl with 100% similarity]