Fabian Boehm 6ab0a3d81f webconfig: Print url ...

This makes it easier to get it if e.g. the browser can't open files in
/tmp (... Ubuntu...)

See #9014

2022-06-14 21:43:57 +02:00

..

web_config

webconfig: Print url

2022-06-14 21:43:57 +02:00

create_manpage_completions.py

create_manpage_completions.py: Do not overstrip commands with dots

2022-05-29 17:00:32 +02:00

deroff.py

deroff.py: unneccessarry pass, unreachable code

2021-12-12 10:45:50 -08:00