Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | disable spell checking, it's annoyingHEADmain | stuebinm | 2023-07-02 | 1 | -1/+1 |
* | udpate stuff | stuebinm | 2022-12-06 | 1 | -14/+21 |
* | add agda | stuebinm | 2022-03-17 | 1 | -1/+1 |
* | migrating config | stuebinm | 2022-03-06 | 1 | -0/+188 |