diff options
| author | Alex | 2024-10-29 23:34:47 -0700 |
|---|---|---|
| committer | rfjakob | 2024-10-30 08:45:00 +0100 |
| commit | 94bd6a3d657923350e84082ec059e488fdea7f4e (patch) | |
| tree | 17d15b9c217871047c492503ec36b20e54763874 /internal/stupidgcm/benchmark.bash | |
| parent | 2ccea57eba6a646838b39e3bbaec06d247250cbb (diff) | |
manpage: Fix reference to manual section
The `--reverse` section of the manual has a reference to an `INIT FLAGS` section, but no such section exists. Change the reference to refer to the `INIT OPTIONS` section, which does exist.
Diffstat (limited to 'internal/stupidgcm/benchmark.bash')
0 files changed, 0 insertions, 0 deletions