# HG changeset patch
# User HackBot
# Date 1372210006 0
# Node ID 6d38866a39c34e1d062a130ac274a949cd39a1f4
# Parent  20ca2ea12b752bc90ff497c14322c0bc64411bcc
<shachaf> revert

diff -r 20ca2ea12b75 -r 6d38866a39c3 bin/pbflist
--- a/bin/pbflist	Wed Jun 26 01:26:34 2013 +0000
+++ b/bin/pbflist	Wed Jun 26 01:26:46 2013 +0000
@@ -1,4 +1,4 @@
-echo -n "$(basename "$0")#{@:+ }$@: "; tail -n+2 "$0" | xargs; exit
-echo -n "$(basename "$0")#{@:+ }$@: "; shachaf
-echo -n "$(basename "$0")#{@:+ }$@: "; Sgeo
-echo -n "$(basename "$0")#{@:+ }$@: "; quintopia
+tail -n+2 "$0" | xargs; exit
+shachaf
+Sgeo
+quintopia