diff options
author | Amin Bandali <amin@gnu.org> | 2018-08-25 01:18:19 -0400 |
---|---|---|
committer | Amin Bandali <amin@gnu.org> | 2018-08-25 01:18:19 -0400 |
commit | 115adbfbef4cc2ca9cc8a074cad6c3d81e8f5d3a (patch) | |
tree | d27186ebc021571265f2b16d985f5c56cef651a2 /lib/proof-site | |
parent | 1dde553d9a6d52523575f41a560162c79f10c0a3 (diff) | |
download | configs-115adbfbef4cc2ca9cc8a074cad6c3d81e8f5d3a.tar.gz configs-115adbfbef4cc2ca9cc8a074cad6c3d81e8f5d3a.tar.xz configs-115adbfbef4cc2ca9cc8a074cad6c3d81e8f5d3a.zip |
[rc/notmuch] add uw/se212 tag rule
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions