diff options
| author | Daniel <kingdread@gmx.de> | 2019-02-16 01:48:59 +0100 |
|---|---|---|
| committer | Daniel <kingdread@gmx.de> | 2019-02-16 01:48:59 +0100 |
| commit | dfbf78622b0869f070d062b3edd40c4a97ce7dfd (patch) | |
| tree | 980e0fc50f5b0e89210a0d086fb9ee87c1e73f51 /src/output.rs | |
| parent | 2fb14e9e5c5e48c3231f6d4aa324917d0dd3ccf7 (diff) | |
| download | raidgrep-dfbf78622b0869f070d062b3edd40c4a97ce7dfd.tar.gz raidgrep-dfbf78622b0869f070d062b3edd40c4a97ce7dfd.tar.bz2 raidgrep-dfbf78622b0869f070d062b3edd40c4a97ce7dfd.zip | |
introduce CommaSeparatedList
This gives a common interface for command line flags which take multiple
values, possibly with negation.
This might come in useful if we add filtering by boss, e.g. "--boss
!deimos" to ignore all deimos logs.
Diffstat (limited to 'src/output.rs')
0 files changed, 0 insertions, 0 deletions