2 commits

Author	SHA1	Message	Date
Guanran Wang	98dbc82d27	flake: format everything using alejandra	2023-11-04 18:14:42 +08:00
Guanran Wang	16dd604ca9	nixos: rename hosts to machines + minor changes	2023-09-27 07:52:00 +08:00