Sebastian Fleer ec4700308e webconfig: Replace str.stripprefix with str.removeprefix ...

str.stripprefix doesn't exist in Python:
https://docs.python.org/3/library/stdtypes.html#str.removeprefix

Closes #11840

(cherry picked from commit 4b21e7c9c7)

2025-09-30 11:52:40 +02:00

..

web_config

webconfig: Replace str.stripprefix with str.removeprefix

2025-09-30 11:52:40 +02:00

create_manpage_completions.py

create_manpage_completions.py: Fix options_parts_regex

2025-09-08 10:14:21 +08:00

deroff.py

Reformat with black.

2025-02-12 22:59:27 +08:00