summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* fix org capture snippetstuebinm2023-04-111-0/+6
|
* udpate stuffstuebinm2022-12-061-14/+21
|
* different themestuebinm2022-07-181-1/+3
|
* unicode font for agda (JuliaMono)stuebinm2022-05-211-1/+2
|
* add agdastuebinm2022-03-171-1/+1
|
* fix org mode todo sequencestuebinm2022-03-061-3/+5
|
* remove old stuffstuebinm2022-03-062-204/+3
|
* migrating configstuebinm2022-03-064-0/+586