xkey 5272ff2285 kartei xkey: get hosts config out of kartei/others		2022-11-29 19:56:07 +01:00
..
ssh	kartei others xkey: update pubkey	2022-11-28 15:38:34 +01:00
tinc	kartei: init	2022-11-22 23:34:57 +01:00
default.nix	kartei xkey: get hosts config out of kartei/others	2022-11-29 19:56:07 +01:00