diff options
| author | Jakob Unterwurzacher | 2016-01-23 20:17:34 +0100 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2016-01-23 20:18:13 +0100 |
| commit | e799ae672d64e6d3f943f79cda67be12a2b999e1 (patch) | |
| tree | e3654deb6e277c4c490e11ab14135fe648f6d719 /Documentation/.gitignore | |
| parent | 142ed8b2b6e0549188c0651a2a077b37f2ae6da0 (diff) | |
Show new benchmark.bash in README
The old benchmark is in benchmark-builtin.bash.
renamed: benchmarks-builtin.bash -> benchmark-builtin.bash
renamed: benchmarks-external.bash -> benchmark.bash
Diffstat (limited to 'Documentation/.gitignore')
0 files changed, 0 insertions, 0 deletions