diff options
| author | Jakob Unterwurzacher | 2021-07-29 12:12:49 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2021-07-29 12:36:05 +0200 |
| commit | 6f0ed4b8c400cd53ccb42eb83c52ead483646b78 (patch) | |
| tree | 7e2e90890b15f09ce675b64bbff6801cdcc629fc /Documentation/file-format.md | |
| parent | db81614cd660372c836e8c5b1cf975d0df5dbbd0 (diff) | |
github ci: Add Github Actions CI
Add Github Actions and delete defunct Travis CI.
Diffstat (limited to 'Documentation/file-format.md')
0 files changed, 0 insertions, 0 deletions