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	2022: d07: ex1: add input	2022-12-10 10:32:40 +01:00