Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2021-07-16 | isabelle fhs env for NixOS | stuebinm | 1 | -0/+16 |
index : playground | ||
place for smaller experiments which may or may not grow into larger things |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2021-07-16 | isabelle fhs env for NixOS | stuebinm | 1 | -0/+16 |