# HG changeset patch
# User HackBot
# Date 1468493599 0
# Node ID 01e891f57fd645a6d0b0a9b86e3d453a48fd6ea1
# Parent  ea53c45c49aadf48266521c287afc3c8973f159a
<shachaf> makelist makelistlist shachaf

diff -r ea53c45c49aa -r 01e891f57fd6 bin/makelistlist shachaf
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/makelistlist shachaf	Thu Jul 14 10:53:19 2016 +0000
@@ -0,0 +1,1 @@
+echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit