# HG changeset patch
# User HackBot
# Date 1453100878 0
# Node ID 55d2fc3b2fee4a94d86889e9f64b7ee4c57efe01
# Parent  bbaf456df84f499d30f6506a684978475f9632f6
<zgrep> ` echo "exec $@" >> \'bin/ \'

diff -r bbaf456df84f -r 55d2fc3b2fee bin/ 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/ 	Mon Jan 18 07:07:58 2016 +0000
@@ -0,0 +1,1 @@
+exec