# HG changeset patch
# User HackBot
# Date 1375737074 0
# Node ID dcfbe6ed94d367c4a5e13d3528f396f474fcecd5
# Parent  1aa2528b6687a3be1f5a71ff6616c24723000a3b
<shachaf> cp bin/{empty,danddrec}list

diff -r 1aa2528b6687 -r dcfbe6ed94d3 bin/danddreclist
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/danddreclist	Mon Aug 05 21:11:14 2013 +0000
@@ -0,0 +1,1 @@
+echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit