summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
maindisable spell checking, it's annoyingstuebinm10 months
 
 
AgeCommit messageAuthorFilesLines
2023-07-02disable spell checking, it's annoyingHEADmainstuebinm1-1/+1
2023-07-02more mailstuebinm1-1/+17
2023-07-02add mingusstuebinm1-1/+1
2023-04-11more mail stuffstuebinm2-2/+16
2023-04-11fix org capture snippetstuebinm1-0/+6
2022-12-06udpate stuffstuebinm1-14/+21
2022-07-18different themestuebinm1-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
[...]