Bruno BELANYI 120a42f1b0 nix: migrate to 'ruff' formatting ... 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' formatting	2024-11-23 18:45:57 +00:00
input	2020: d17: ex1: add input	2021-12-06 13:58:37 +01:00