Dave Davenport d539e6478a Remove -show-match option, deprecated. ... Use 'element {highlight: none;}' in theme/configuration to reproduce it.		2021-05-02 20:01:03 +02:00
..
config.c	Remove -show-match option, deprecated.	2021-05-02 20:01:03 +02:00