Ingolf Wagner 85b846893e sterni,sputnik: 19.09 -> 20.03		2020-05-19 20:44:20 +02:00
..
default.nix	sterni,sputnik: 19.09 -> 20.03	2020-05-19 20:44:20 +02:00