aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterREADME.md: Add link to Codeberg CI tooRunxi Yu2 months
 
 
AgeCommit messageAuthorFilesLines
2024-07-27README.md: Add link to Codeberg CI tooHEADmasterRunxi Yu1-1/+1
2024-07-27README.md: Codeberg CI BadgeRunxi Yu1-0/+2
2024-07-27philhl/notes.tex: Trying to load doclicense after hyperrefRunxi Yu1-7/+8
2024-07-27CI: Apparently GitLab and Woodpecker are differentRunxi Yu1-8/+11
2024-07-27Add Woodpecker CIRunxi Yu2-0/+10
2024-07-27Makefile: Mark directory as .PHONYRunxi Yu1-1/+1
2024-07-27elitsl/hughes: Add initial notesRunxi Yu1-0/+13
2024-07-27Add clalslRunxi Yu1-0/+1
2024-07-27Add root MakefileRunxi Yu1-0/+6
2024-07-27Add initial Philosophy stuffRunxi Yu2-0/+154
[...]
 
Clone
https://git.runxiyu.org/runxiyu/ibdp.git