Ingolf Wagner 249b9fb4c4 add progress		2024-06-07 21:41:19 +02:00
..
common	add progress	2024-06-07 21:41:19 +02:00
palo	remove nixpkgs channels which are not needed anymore	2024-06-07 14:25:34 +02:00
root	flake.nix refactorings	2024-05-30 16:38:33 +02:00
tina	remove nixpkgs channels which are not needed anymore	2024-06-07 14:25:34 +02:00