summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2024-11-14Fix Gitlab CI "feedback loop"HEADmasterDavid Timber
2024-11-14Have separate branches for Github and GitlabDavid Timber
2024-11-14Add Gitlab CI ...David Timber
2024-11-14Add COPYINGDavid Timber
2024-11-14Initial commitDavid Timber