# HG changeset patch
# User HackBot
# Date 1434093069 0
# Node ID adab838f1413aa863a9cab68308ad4c1c737931e
# Parent  05c18bb3666495f741a412cab7aaacde3335c327
<shachaf> mke bin/boo//echo "$0" "$@"

diff -r 05c18bb36664 -r adab838f1413 bin/boo
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/boo	Fri Jun 12 07:11:09 2015 +0000
@@ -0,0 +1,1 @@
+echo "$0" "$@"