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/boogie-friends | |
| 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 '')
0 files changed, 0 insertions, 0 deletions