tv 606f88e4f0 kartei: init		2022-11-22 23:34:57 +01:00
..
pgp	kartei: init	2022-11-22 23:34:57 +01:00
wiregrill	kartei: init	2022-11-22 23:34:57 +01:00
default.nix	kartei: init	2022-11-22 23:34:57 +01:00