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