# HG changeset patch
# User HackBot
# Date 1434093085 0
# Node ID 552c422d02a4b6cf2d41380706b3ad75b0682e13
# Parent  5270baa376e7435daabfd787173492d82e5fff86
<shachaf> rm bin/boo

diff -r 5270baa376e7 -r 552c422d02a4 bin/boo
--- a/bin/boo	Fri Jun 12 07:11:22 2015 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-echo "$0" "$@"