Bruno BELANYI 741bb33544 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-11-23 18:45:57 +00:00
..
ex1.py	nix: migrate to 'ruff'	2024-11-23 18:45:57 +00:00
input	2022: d07: ex1: add input	2022-12-10 10:32:40 +01:00