diff options
| author | Amin Bandali <mab@gnu.org> | 2018-08-04 18:58:42 -0400 |
|---|---|---|
| committer | Amin Bandali <mab@gnu.org> | 2018-08-04 18:58:42 -0400 |
| commit | 74ef10b067c185020b35344229f383666080d45b (patch) | |
| tree | 80ba8ca49adc3b0e4591b12928e1c79a908a6e49 /lib/proof-site | |
| parent | 9e568495ab9b4c7ddc4f2284577112641c57dedf (diff) | |
| download | configs-74ef10b067c185020b35344229f383666080d45b.tar.gz configs-74ef10b067c185020b35344229f383666080d45b.tar.xz configs-74ef10b067c185020b35344229f383666080d45b.zip | |
[rc] add nmam and nmam3 aliases for extracting patches from notmuch
kudos and thanks to @bremner
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions