3 commits

Author	SHA1	Message	Date
Guanran Wang	4b52ac15d2	repo: declutter	2023-10-15 08:51:56 +08:00
Guanran Wang	16dd604ca9	nixos: rename hosts to machines + minor changes	2023-09-27 07:52:00 +08:00
Guanran Wang	3c138f3b9f	initial commit	2023-09-19 08:17:43 +08:00