summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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