Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | fix org capture snippet | stuebinm | 2023-04-11 | 1 | -0/+6 |
* | different theme | stuebinm | 2022-07-18 | 1 | -1/+3 |
* | unicode font for agda (JuliaMono) | stuebinm | 2022-05-21 | 1 | -1/+2 |
* | fix org mode todo sequence | stuebinm | 2022-03-06 | 1 | -3/+5 |
* | remove old stuff | stuebinm | 2022-03-06 | 1 | -193/+3 |
* | migrating config | stuebinm | 2022-03-06 | 1 | -0/+303 |