David Chavez c7baa7ef8f Fix ubuntu-18.04 workflow (#429)		2024-07-08 18:52:33 +02:00
..
ISSUE_TEMPLATE	…
linux	CI: build on ubuntu-18.04 (#346)	2024-06-16 21:38:23 +02:00
workflows	Fix ubuntu-18.04 workflow (#429)	2024-07-08 18:52:33 +02:00