diff options
| author | lbonn <bonnans.l@gmail.com> | 2017-10-08 01:05:40 +0200 |
|---|---|---|
| committer | lbonn <bonnans.l@gmail.com> | 2017-10-08 11:54:46 +0200 |
| commit | 514eed7e4b256565d85c63014500d1252fec2928 (patch) | |
| tree | 88c0cdfc09ac13100c8425ef72258cca71b64a91 /include | |
| parent | d879e5b15d146a04ed7585b6c78653c4ac56b6dd (diff) | |
commands: allow criterion values to be unquoted
Sometimes it doesn't really make sense to quote them (numeric values for
example)
In that case, the value is parsed until the next space or the end of the
whole criteria expression
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions