diff options
| author |  David Bremner <bremner@debian.org> | 2013-01-07 22:20:00 -0400 |
|---|---|---|
| committer | David Bremner <bremner@debian.org> | 2013-01-14 21:01:39 -0400 |
| commit | 061152dfca6d679c80c22c0c291bdebf6f7b05db (patch) | |
| tree | 7fca39abda5c0ad45d10ef06006953a399ff52b1 /debian/notmuch.dirs | |
| parent | 4b5b6f02cc943b83270ad5061166e5d9967b2899 (diff) | |
debian: change priority to optional.
The distinction between extra and optional is generally not very
important, except that being extra forces anything that depends on you
to be extra.
Diffstat (limited to 'debian/notmuch.dirs')
0 files changed, 0 insertions, 0 deletions