diff options
Diffstat (limited to 'Readme.md')
| -rw-r--r-- | Readme.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Readme.md b/Readme.md index 1287e761..0d0bb06a 100644 --- a/Readme.md +++ b/Readme.md @@ -377,8 +377,8 @@ I've just been insufficiently diligent and my documentation is out of date. d) Try out the programming environment: ```shell - $ ./mu test edit.mu # takes about 30s; shouldn't show any failures - $ ./mu edit.mu + $ ./mu test edit # takes about 30s; shouldn't show any failures + $ ./mu edit ``` Screenshot: |