Fabian Homborg 29fa8b776c themes/coolbeans: Make quotes less red ... This was awkward to tell from the error color, which we want to keep red.		2021-11-28 12:50:00 +01:00
..
web_config	themes/coolbeans: Make quotes less red	2021-11-28 12:50:00 +01:00
create_manpage_completions.py	Manpage generator: Give better error when we can't understand manpath	2021-03-26 19:32:14 +01:00
deroff.py	Fix: equality vs identity	2019-11-06 14:13:21 +08:00