diff options
| author | Daniel <kingdread@gmx.de> | 2020-04-21 14:34:08 +0200 |
|---|---|---|
| committer | Daniel <kingdread@gmx.de> | 2020-04-21 14:34:08 +0200 |
| commit | ab909d2f3a0a59ae1b9a169ec79d4e9ffeddd1e1 (patch) | |
| tree | 37d5360b3ca2056609bbad3497103b1437b25107 /src/filters/player.rs | |
| parent | 0a27adbc0bf3bbbf87fea9e55c00c38f61d55058 (diff) | |
| download | raidgrep-ab909d2f3a0a59ae1b9a169ec79d4e9ffeddd1e1.tar.gz raidgrep-ab909d2f3a0a59ae1b9a169ec79d4e9ffeddd1e1.tar.bz2 raidgrep-ab909d2f3a0a59ae1b9a169ec79d4e9ffeddd1e1.zip | |
use readline/rustyline instead of stdin.read_line
This gives us a history, nicer editing capabilities and the possibility
to add completion in the future.
Diffstat (limited to 'src/filters/player.rs')
0 files changed, 0 insertions, 0 deletions