Fix UI description in tooltip
authorRicardo Mones <ricardo@mones.org>
Tue, 29 Oct 2019 15:12:45 +0000 (16:12 +0100)
committerRicardo Mones <ricardo@mones.org>
Tue, 29 Oct 2019 15:12:45 +0000 (16:12 +0100)
commite6b1e52e535cd7112ed21ffee66aabbbf08bc3ed
treef68ac8293c35ba93016785072699c2671fe13917
parent868447a63ccd8103d673e516a781ecdf34a77491
Fix UI description in tooltip
src/prefs_matcher.c