Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
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 |
![]() |
index : doomdir | |
my Doom Emacs configuration |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
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 |