# HG changeset patch
# User HackBot
# Date 1357074288 0
# Node ID 78028c40dc9cf4489d8db4601e7de14bc085879a
# Parent  e8fae44c51c94adc7b51f033f8e0656976f6ea55
<Gregor> rm bin/run # fix this without `run or `revert

diff -r e8fae44c51c9 -r 78028c40dc9c bin/run
--- a/bin/run	Tue Jan 01 19:39:12 2013 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-#!/bin/sh
-bash -c "$@"