# HG changeset patch
# User HackBot
# Date 1362719688 0
# Node ID f44b555d7bdaa75df2b759de3ae964dc2e85507f
# Parent  a9e48081cc881a0db12b6f4aa7a3da2285a50e3e
<shachaf> rm bin/deletedlist

diff -r a9e48081cc88 -r f44b555d7bda bin/deletedlist
--- a/bin/deletedlist	Fri Mar 08 05:14:38 2013 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-echo -n "$(basename "$0"): "; tail -n+2 "$0" | xargs; exit
-shachaf