Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | some improvements & fixes | stuebinm | 2023-10-30 | 1 | -5/+5 |
| | |||||
* | disable spell checking, it's annoying | 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 |