diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2018-03-13 08:37:19 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2018-03-13 08:37:19 -0700 |
| commit | 075498ec164b53600cf33d8fd070c003b1dc8cdf (patch) | |
| tree | 664474f4fb6821a4c5f05f0f80440215f75b6d33 /mu | |
| parent | c912b7319fb204e95e6d97c2c9c182bcaca8f93e (diff) | |
| download | mu-075498ec164b53600cf33d8fd070c003b1dc8cdf.tar.gz | |
4220
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 |