diff options
| author |  David Bremner <bremner@debian.org> | 2011-10-09 10:57:03 -0300 |
|---|---|---|
| committer | David Bremner <bremner@debian.org> | 2011-10-16 19:59:53 -0300 |
| commit | ff2cd7a789b81e76d2279ac8a13a06172c6d8279 (patch) | |
| tree | 2a1228ebbe12a33fcabef506d31e4384094731a0 /Makefile | |
| parent | 532829d463717ed36c43756728608d7465deac8e (diff) | |
notmuch-dump: update handling of file name argument
We permit -- as an "option processing terminator".
Currently this does not do anything useful, but we plan to add
search terms after the --.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions