Fabian Boehm 7d7b72f995 Use path basename instead of basename ...

This is faster and guaranteed to be available

2023-02-10 20:51:22 +01:00

..

web_config

Use path basename instead of basename

2023-02-10 20:51:22 +01: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