idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-10-05 17:38:38 +03:00
Code Issues Projects Releases Wiki Activity

Update readme.md

Browse Source
This commit is contained in:
jmd28 2021-01-12 13:33:57 +00:00 committed by GitHub
parent 9f94198380
commit 807725f26d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
benchmark/readme.md
View File

@ -29,4 +29,4 @@ Usage: bench.sh [OPTION]...
(default is `bench-results_$BACKEND[_fast]`)
-h shows this message
e.g. `bench -fbc refc -o myrefcoutput`
e.g. `./bench.sh -fbc refc -o myrefcoutput`