Florian Bruhin 4d069b8fc3 Use str.removeprefix() and str.removesuffix() ... https://docs.python.org/3/whatsnew/3.9.html#new-string-methods-to-remove-prefixes-and-suffixes		2024-10-13 18:24:44 +02:00
..
position_caret	reuse: Initial copyright text update for myself	2023-07-23 12:49:05 +02:00
stylesheet	reuse: Fix more copyright headers	2023-07-23 12:56:13 +02:00
base.html	…
conftest.py	reuse: Initial copyright text update for myself	2023-07-23 12:49:05 +02:00
test_greasemonkey.py	reuse: Initial copyright text update for myself	2023-07-23 12:49:05 +02:00
test_js_execution.py	reuse: Initial copyright text update for myself	2023-07-23 12:49:05 +02:00
test_js_quirks.py	Use str.removeprefix() and str.removesuffix()	2024-10-13 18:24:44 +02:00