Bruno BELANYI b4762ccf9f nix: migrate to 'ruff' ... Having just the one tool is better. Incidentally, this fixes the ternary formatting, which was messed up in recent `black` versions.		2024-12-03 10:29:26 +00:00
..
ex1.py	nix: migrate to 'ruff'	2024-12-03 10:29:26 +00:00
input	2020: d17: ex1: add input	2021-12-06 13:58:37 +01:00