3 commits

Author	SHA1	Message	Date
Guanran Wang	4b52ac15d2	repo: declutter	2023-10-15 08:51:56 +08:00
Guanran Wang	760327c7ea	repo: trim tailing whitespaces	2023-10-05 18:09:04 +08:00
Guanran Wang	16dd604ca9	nixos: rename hosts to machines + minor changes	2023-09-27 07:52:00 +08:00