29ad252278
Turns out str.isdigit() also handles ² as a digit, but int('²') causes a ValueError. Here we use `string.digits` instead, which is '0123456789'. Fixes #3743 |
||
---|---|---|
.. | ||
end2end | ||
helpers | ||
manual | ||
unit | ||
conftest.py | ||
test_conftest.py |