forked from DGNum/infrastructure
The dgnum infrastructure
8d2c4ec379
Also fix a typo |
||
---|---|---|
iso | ||
keys | ||
lib | ||
machines | ||
meta | ||
modules | ||
nix-patches | ||
npins | ||
.envrc | ||
.gitignore | ||
hive.nix | ||
LICENSE | ||
README.md | ||
shell.nix |
❄️ infrastructure
The dgnum infrastructure