No Description
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Thomas Kerber 2df14e23ee
Various fixes.
1 day ago
external Minor edits. 1 month ago
hosts Various fixes. 1 day ago
id.pub Add frankenkeys. 8 months ago
modules Various fixes. 1 day ago
.gitignore Move to /cfg. 7 months ago
.gitmodules Ensure that external stuff is managed consistently. 8 months ago
README.md Coq + updates 6 months ago
configuration.nix Move to /cfg. 7 months ago
default.nix Move to /cfg. 7 months ago

README.md

Zen

My system configurations are zen.