xunuwu 66fc4a96b3 move ssh public keys into vars		2025-05-10 09:53:55 +02:00
..
machines	use regular paths for profiles and suites and stuff instead of the horrible mess of attrsets i was generating	2025-05-10 09:52:44 +02:00
profiles	move ssh public keys into vars	2025-05-10 09:53:55 +02:00