Usage hint on header filtering
authorRicardo Mones <ricardo@mones.org>
Tue, 29 Oct 2019 10:05:21 +0000 (11:05 +0100)
committerRicardo Mones <ricardo@mones.org>
Tue, 29 Oct 2019 10:05:21 +0000 (11:05 +0100)
commit868447a63ccd8103d673e516a781ecdf34a77491
treee2b6880c3a7f729d6d4fe827b18eab2d1b377ed6
parent6ef34d399de9501dbd09a245b88fa3636ead434a
Usage hint on header filtering
src/prefs_matcher.c