diff options
| author | Daniel <kingdread@gmx.de> | 2018-10-15 16:38:32 +0200 |
|---|---|---|
| committer | Daniel <kingdread@gmx.de> | 2018-10-15 16:38:32 +0200 |
| commit | f5af4e51a3bb73ddeb9b916ff772a3ab0afb92b8 (patch) | |
| tree | e75ddfc4cd5073248d93b51ade450175de225331 /src/filters/mod.rs | |
| parent | e3dacb69c022107596e0e1483f2be981c8da0dc7 (diff) | |
| download | raidgrep-f5af4e51a3bb73ddeb9b916ff772a3ab0afb92b8.tar.gz raidgrep-f5af4e51a3bb73ddeb9b916ff772a3ab0afb92b8.tar.bz2 raidgrep-f5af4e51a3bb73ddeb9b916ff772a3ab0afb92b8.zip | |
add "kill" as synonym for success
Diffstat (limited to 'src/filters/mod.rs')
0 files changed, 0 insertions, 0 deletions