# HG changeset patch
# User HackBot
# Date 1375406157 0
# Node ID 5c2946301dbbcae5cd2536639292422fa7df0869
# Parent  170faed9471d2c71bace4899c6746e793bf2ffa0
<shachaf> cp bin/{empty,erf}list

diff -r 170faed9471d -r 5c2946301dbb bin/erflist
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/erflist	Fri Aug 02 01:15:57 2013 +0000
@@ -0,0 +1,1 @@
+echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit