diff options
| author | Andrea Censi <AndreaCensi@users.noreply.github.com> | 2022-03-02 15:09:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-02 15:09:53 +0100 |
| commit | 81d139453a441ad73905fd27fbad34484ca0c39e (patch) | |
| tree | 24ae323f183029a433e70b89bea9e98f5a929b2d /README.md | |
| parent | Update README.md (diff) | |
| download | act4e-81d139453a441ad73905fd27fbad34484ca0c39e.tar.gz act4e-81d139453a441ad73905fd27fbad34484ca0c39e.zip | |
Update README.md
Diffstat (limited to '')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -32,7 +32,7 @@ Create a new terminal using Terminal -> New Terminal. Run the following: - make check-TestSimpleIntro + act4e-check TestSimpleIntro This will have created a file `out-results/result-TestSimpleIntro.html`. |