Markus Rosenstihl 2a1852b4ca added apt-get update and install for neede packages in workflow		2023-12-06 14:30:48 +01:00
..
ISSUE_TEMPLATE	rethink choices of 0c7ca0b9ba; minimum selection at least should work, cf. #166	2023-12-04 19:38:29 +01:00
workflows	added apt-get update and install for neede packages in workflow	2023-12-06 14:30:48 +01:00