Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2021-07-16 | isabelle fhs env for NixOS | stuebinm | 2 | -0/+49 |
![]() |
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 | 2 | -0/+49 |