diff options
| author | dahlbaek <30782351+dahlbaek@users.noreply.github.com> | 2018-06-22 20:35:36 +0200 |
|---|---|---|
| committer | dahlbaek <30782351+dahlbaek@users.noreply.github.com> | 2018-06-22 20:35:36 +0200 |
| commit | 28637cec9e0f238de98d65cdbdec876333c2cb68 (patch) | |
| tree | 8030560520c84f58012f40c2dc123085cd6e3321 /src/input_handler.cc | |
| parent | 16b6c1772420705f962973598e57f36cbead898e (diff) | |
Use egrep instead of grep for ERE
Some implementations of grep do not support extended regular
expressions (ERE). Using egrep instead seems to be more portable.
Diffstat (limited to 'src/input_handler.cc')
0 files changed, 0 insertions, 0 deletions