| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | org: proof tree blocksHEADmain | stuebinm | 2025-05-10 | 1 | -1/+85 |
| * | huh, forgot to commit this for a while | stuebinm | 2024-07-10 | 1 | -36/+20 |
| * | some improvements & fixes | stuebinm | 2023-10-30 | 1 | -3/+4 |
| * | more mail | stuebinm | 2023-07-02 | 1 | -1/+17 |
| * | more mail stuff | stuebinm | 2023-04-11 | 1 | -1/+13 |
| * | 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 |
 |
index : doomdir | |
| my Doom Emacs configuration |
| summaryrefslogtreecommitdiff |