Johannes Altmanninger 516a70d9cb Misc cleanups ... Some as suggested by lgtm.com		2021-03-21 19:41:36 +01:00
..
web_config	Misc cleanups	2021-03-21 19:41:36 +01:00
create_manpage_completions.py	Misc cleanups	2021-03-21 19:41:36 +01:00
deroff.py	Fix: equality vs identity	2019-11-06 14:13:21 +08:00