Fabian Homborg fa5f3fe9a0 webconfig: Update default colorscheme ...

This was missing a bunch of variables from __fish_config_interactive.

Ideally we wouldn't have to duplicate this info, but I don't have a
great solution either.

2018-12-05 09:54:31 +01:00

..

web_config

webconfig: Update default colorscheme

2018-12-05 09:54:31 +01:00

create_manpage_completions.py

Add generic parser for /etc/man.conf

2017-12-12 19:18:47 +01:00

deroff.py

simplify invoking create_manpage_completions.py

2016-10-09 18:42:55 -07:00