| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | test readme.md | Marc Coquand | 2024-05-10 | 1 | -0/+14 |
| | | |||||
| * | remove gitignore stuff | Marc Coquand | 2024-05-10 | 14 | -3443/+0 |
| | | |||||
| * | Remove direnv | Marc Coquand | 2024-05-10 | 1 | -0/+1 |
| | | |||||
| * | Initial commit | Marc Coquand | 2024-05-10 | 25 | -0/+3772 |