From 075498ec164b53600cf33d8fd070c003b1dc8cdf Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Tue, 13 Mar 2018 08:37:19 -0700
Subject: 4220

---
 mu | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'mu')

diff --git a/mu b/mu
index fa09f53a..67068ebb 100755
--- a/mu
+++ b/mu
@@ -5,7 +5,7 @@ set -e
 ./build3  &&  ./mu_bin "$@"
 
 # Scenarios considered:
-#   mu
-#   mu --help
-#   mu test
-#   mu test file1.mu
+#   ./mu
+#   ./mu --help
+#   ./mu test
+#   ./mu test file1.mu
-- 
cgit 1.4.1-2-gfad0