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