diff options
| author | fpi | 2020-03-19 13:24:06 +0100 |
|---|---|---|
| committer | fpi | 2020-04-05 13:34:56 +0200 |
| commit | fc8fb02b3219d7e18f0cc777539de663445fa77a (patch) | |
| tree | a851d2aff7d663eac221aa347545ebe770910974 /.gitignore | |
| parent | Move org todo configuration to main org block (diff) | |
Allow to pass options to grep command
Default grep-command ends with "-e" and expects a pattern and no options
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions