# HG changeset patch
# User HackBot
# Date 1468493397 0
# Node ID ccf31a3bf6d1fec253592680659a78bedf4fb07d
# Parent  17df91f2a21f3bb0bb9a10aba9a8479526e57a18
<shachaf> makelist makelistlist

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