summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
maindifferent themestuebinm5 months
 
 
AgeCommit messageAuthorFilesLines
2022-07-18different themeHEADmainstuebinm1-1/+3
2022-05-21unicode font for agda (JuliaMono)stuebinm1-1/+2
2022-03-17add agdastuebinm1-1/+1
2022-03-06fix org mode todo sequencestuebinm1-3/+5
2022-03-06remove old stuffstuebinm2-204/+3
2022-03-06migrating configstuebinm4-0/+586