Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2024-07-10 | huh, forgot to commit this for a whileHEADmain | stuebinm | 1 | -36/+20 |
2023-10-30 | some improvements & fixes | stuebinm | 1 | -3/+4 |
2023-07-02 | more mail | stuebinm | 1 | -1/+17 |
2023-04-11 | more mail stuff | stuebinm | 1 | -1/+13 |
2023-04-11 | fix org capture snippet | stuebinm | 1 | -0/+6 |
2022-07-18 | different theme | stuebinm | 1 | -1/+3 |
2022-05-21 | unicode font for agda (JuliaMono) | stuebinm | 1 | -1/+2 |
2022-03-06 | fix org mode todo sequence | stuebinm | 1 | -3/+5 |
2022-03-06 | remove old stuff | stuebinm | 1 | -193/+3 |