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 /src/filters/mod.rs | |
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 'src/filters/mod.rs')
0 files changed, 0 insertions, 0 deletions