aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/.github (unfollow)
Commit message (Expand)Author
2021-04-03add `make clean`Egor Tensin
2021-04-03workflows/build: upload PDF to GitHub PagesEgor Tensin
2021-02-26add a GitHub workflowEgor Tensin