diff options
Diffstat (limited to 'mu')
-rwxr-xr-x | mu | 8 |
1 files changed, 4 insertions, 4 deletions
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 |