Michael Raskin 5ab5c5d6c7 golly: 4.1 -> 4.2		2023-08-31 00:45:02 +02:00
..
default.nix	golly: 4.1 -> 4.2	2023-08-31 00:45:02 +02:00