Python/backtracking
Christian Clauss 64543faa98
Make some ruff fixes (#8154)
* Make some ruff fixes

* Undo manual fix

* Undo manual fix

* Updates from ruff=0.0.251
2023-03-01 17:23:33 +01:00
..
2021-09-07 13:37:03 +02:00
2022-10-18 21:22:38 +02:00
2023-03-01 17:23:33 +01:00
2021-11-04 18:49:36 +08:00
2021-09-07 13:37:03 +02:00
2023-03-01 17:23:33 +01:00