| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | unicode font for agda (JuliaMono) | stuebinm | 2022-05-21 | 1 | -1/+2 |
| * | add agda | stuebinm | 2022-03-17 | 1 | -1/+1 |
| * | fix org mode todo sequence | stuebinm | 2022-03-06 | 1 | -3/+5 |
| * | remove old stuff | stuebinm | 2022-03-06 | 2 | -204/+3 |
| * | migrating config | stuebinm | 2022-03-06 | 4 | -0/+586 |
 |
index : doomdir | |
| my Doom Emacs configuration |
| summaryrefslogtreecommitdiff |