tk
/
zen
Watch 1
Star 0
Fork 0
Code Releases 0 Activity
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.
405 Commits
4 Branches
Branch: master
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Thomas Kerber 3087a8da22
Autolocking config, aarch64 compilation (untested). 		1 week ago
external Various updates. 4 months ago
hosts Autolocking config, aarch64 compilation (untested). 1 week ago
id.pub Add frankenkeys. 1 year ago
modules Autolocking config, aarch64 compilation (untested). 1 week ago
.gitignore Move to /cfg. 1 year ago
.gitmodules Ensure that external stuff is managed consistently. 1 year ago
README.md Coq + updates 1 year ago
configuration.nix Fix main config. 5 months ago
default.nix Move to /cfg. 1 year ago

README.md

Zen

My system configurations are zen.