Files
rgs/src
Andrew Gallant c96a358593 ripgrep: add warning to --pre flag
The --pre flag can result in a pretty large performance penalty, so put
a warning in the flag documentation. This warning is important because a
flag like this could easily wind up in a user's configuration file.
2018-07-21 17:50:54 -04:00
..
2018-07-21 17:50:54 -04:00
2018-07-21 17:25:12 -04:00
2018-02-04 10:40:20 -05:00
2018-01-01 09:22:35 -05:00
2018-02-04 10:40:20 -05:00
2018-07-21 17:25:12 -04:00
2016-12-23 14:53:35 -05:00
2018-07-21 17:25:12 -04:00
2018-07-21 17:25:12 -04:00