diff options
| author | Daniel <kingdread@gmx.de> | 2020-05-03 12:08:52 +0200 |
|---|---|---|
| committer | Daniel <kingdread@gmx.de> | 2020-05-03 12:08:52 +0200 |
| commit | db1f38ca7c1b269ee08c2d56788dafc154cffb5b (patch) | |
| tree | 17df954a6fddd189e83f447355f34464cbc83037 /.gitignore | |
| parent | 0d1898ad881e05abf93c73fc8a13e4e5e5596335 (diff) | |
| download | raidgrep-db1f38ca7c1b269ee08c2d56788dafc154cffb5b.tar.gz raidgrep-db1f38ca7c1b269ee08c2d56788dafc154cffb5b.tar.bz2 raidgrep-db1f38ca7c1b269ee08c2d56788dafc154cffb5b.zip | |
slight formatting fix in manual
If we use +, then the -- is turned into – instead of staying like this.
That is not what we want.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions