aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masteradjust titlemetamuffin10 months
 
 
AgeCommit messageAuthor
2024-11-28adjust titleHEADmastermetamuffin
2024-11-28adjustmentsmetamuffin
2024-11-28text written from 2 to 5 AM, needs checkingmetamuffin
2024-05-04infra!metamuffin
2024-04-29ametamuffin
2024-04-27remove mic rf entrymetamuffin
2023-07-13update mic rfmetamuffin
2023-07-12mic spy thingmetamuffin
2023-07-11fix wrong-parsed latexmetamuffin
2023-02-14typometamuffin
[...]