diff options
| author | Marcello Stanisci <stanisci.m@gmail.com> | 2018-07-25 10:54:48 +0200 |
|---|---|---|
| committer | Marcello Stanisci <stanisci.m@gmail.com> | 2018-07-25 10:54:48 +0200 |
| commit | 2952c84fdf205151e22e151fea6e884246b179fc (patch) | |
| tree | 5422e573946aa937e662f111ae5963dd041fc90d /doc/syntax.texi | |
| parent | 9460206749d991e7db995abeddece2fc504d94da (diff) | |
Benchmark.
Fix default runs' number and payto construction.
Diffstat (limited to 'doc/syntax.texi')
0 files changed, 0 insertions, 0 deletions