summaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Expand)Author
2022-01-30Add CI workflow to generate and distribute manualJonas Bernoulli
2019-12-08Revert "Add .github/FUNDING.yml"Jonas Bernoulli
2019-06-04Add .github/FUNDING.ymlJonas Bernoulli