summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2023-10-03Remove old documentationNicolas Paul
2023-10-01Add license header in all applicable filesNicolas Paul
2023-05-31Add CI with cross-compilationNicolas Paul
2023-05-26Migrating from GitHubNicolas Paul