diff options
| author | jao <jao@gnu.org> | 2021-10-19 23:58:26 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2021-10-19 23:58:26 +0100 |
| commit | 852d1615857e36f41b6186023efe09e96496a090 (patch) | |
| tree | d721ec2c23e60f40e99dc98e5256aecd6103c4d9 /lib/eos | |
| parent | 63fcb96ce657e4d15410abaa216f3eb493ec5d93 (diff) | |
| download | elibs-852d1615857e36f41b6186023efe09e96496a090.tar.gz elibs-852d1615857e36f41b6186023efe09e96496a090.tar.bz2 | |
notmuch: all searches can be trees with folding
Diffstat (limited to 'lib/eos')
0 files changed, 0 insertions, 0 deletions