Ingo Karkat aa38153586 Housekeeping: Remove obsolete build platforms ...

GitHub runners for Ubuntu 18.04 and MacOS 10.15 are not available any longer.

2023-06-30 16:59:44 +02:00

..

workflows

Housekeeping: Remove obsolete build platforms

2023-06-30 16:59:44 +02:00

CODE_OF_CONDUCT.md

Clean up files (#302)

2020-03-29 21:26:56 -05:00

CONTRIBUTING.md

Clean up files (#302)

2020-03-29 21:26:56 -05:00

example.gif

README (#219)

2017-10-10 14:07:36 -05:00

ISSUE_TEMPLATE.md

Clean up files (#302)

2020-03-29 21:26:56 -05:00

PULL_REQUEST_TEMPLATE.md

Clean up files (#302)

2020-03-29 21:26:56 -05:00