This repository has been archived on 2020-12-11. You can view files and clone it, but cannot push or open issues or pull requests.

Ramon Fischer 7e1a795321 remove unknown commands		2020-09-24 23:00:09 +02:00
..
resource	make underlines visible	2020-09-24 22:38:16 +02:00
userconfig	remove unknown commands	2020-09-24 23:00:09 +02:00
config.cfg	correct license year	2020-09-10 20:48:42 +02:00