# HG changeset patch
# User HackBot
# Date 1362719664 0
# Node ID 0694213c809e3037ec59573c2474ffc1876dccd2
# Parent  eb8d28337e9459ca27d26675238ce5a0ffc2e78f
<shachaf> makelist deletedlist

diff -r eb8d28337e94 -r 0694213c809e bin/deletedlist
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/deletedlist	Fri Mar 08 05:14:24 2013 +0000
@@ -0,0 +1,1 @@
+echo -n "$(basename "$0"): "; tail -n+2 "$0" | xargs; exit