Fabian Homborg e548dca686 Webconfig: Fix initial tab ... For some reason the url is now http://localhost:$PORT/$RANDOM/#!/$TAB while this created http://localhost:$PORT/$RANDOM/#$TAB which redirected to http://localhost:$PORT/$RANDOM/#!/colors#$TAB i.e. the "colors" tab with a useless unmatched anchor.		2021-05-01 18:47:49 +02:00
..
web_config	Webconfig: Fix initial tab	2021-05-01 18:47:49 +02: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