aboutsummaryrefslogtreecommitdiff
path: root/.gitignore (unfollow)
Commit message (Expand)AuthorFilesLines
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