diff options
| author | Jakob Unterwurzacher | 2018-07-07 23:50:53 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2018-07-07 23:51:16 +0200 |
| commit | 7f5a97e843a47d7eb42bd4b0f4d2c27fbb7f4843 (patch) | |
| tree | fad946f04f2fad532f0193f2ff9d87a67d0b5e5d /benchmark.bash | |
| parent | 6544328f96ed527f2600f87364032417fbaafa05 (diff) | |
MANPAGE: add proper description text
We only had an "options" section which was
mislabeled as "description". Add a proper description text.
Diffstat (limited to 'benchmark.bash')
0 files changed, 0 insertions, 0 deletions