diff options
author | Amin Bandali <bandali@gnu.org> | 2018-11-26 00:03:39 -0500 |
---|---|---|
committer | Amin Bandali <bandali@gnu.org> | 2018-11-26 00:03:39 -0500 |
commit | 541ddfdfc3beb1345d75aaabd638c830ef4ed0e7 (patch) | |
tree | c4efbb1b92b3904af5ecfd7309a0e4215f4714ac /lib | |
parent | 051074d65dac4696a91124dd08a47120a1cb1251 (diff) | |
download | configs-541ddfdfc3beb1345d75aaabd638c830ef4ed0e7.tar.gz configs-541ddfdfc3beb1345d75aaabd638c830ef4ed0e7.tar.xz configs-541ddfdfc3beb1345d75aaabd638c830ef4ed0e7.zip |
[rc/pigeonhole] update and slightly simplify the sieve rules a bit
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions