# HG changeset patch
# User HackBot
# Date 1489974897 0
# Node ID c39ef70ec3057a154cab2b7d63b14568a7a9dca1
# Parent  0880011893fcff67068f57ce2710ca660800c291
<shachaf> mkx bin/4//cmd="${1-quote}"; \\`^ 5 "$cmd"

diff -r 0880011893fc -r c39ef70ec305 bin/4
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/4	Mon Mar 20 01:54:57 2017 +0000
@@ -0,0 +1,1 @@
+cmd="${1-quote}"; \`^ 5 "$cmd"