# HG changeset patch
# User HackBot
# Date 1434091692 0
# Node ID e5c870daf4802cabbaaebcf16a133ae4252d4933
# Parent  30f1834f4383bad02d073e813811ee11acbe20c3
<shachaf> ` sed -i \'s/made \xc2\xab$key\xc2\xbb/$key/\' bin/mk

diff -r 30f1834f4383 -r e5c870daf480 bin/mk
--- a/bin/mk	Fri Jun 12 06:47:10 2015 +0000
+++ b/bin/mk	Fri Jun 12 06:48:12 2015 +0000
@@ -1,1 +1,1 @@
-[[ "$1" == *//* ]] || exit 1; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key"; echo "made «$key»"
+[[ "$1" == *//* ]] || exit 1; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key"; echo "$key"