Default Branch

106098d1da · Switch dotfiles over to main branch naming convention and mentioon git switch for initialization · Updated 2023-07-23 01:42:20 +02:00

Branches

85519ece49 · Transition to org-mode, fixup some latex mistakes! · Updated 2022-09-23 12:35:58 +02:00

8
0
Included