Lukas Dürrenberger 3a95fdee35 Add apt-get update command for the CI ... If the apt-get cache is outdated, it may end up trying to fetch a package that no longer exists, so the cache needs to be updated.		2020-11-29 15:36:13 +01:00
..
workflows	Add apt-get update command for the CI	2020-11-29 15:36:13 +01:00
ISSUE_TEMPLATE.md	Added GitHub issue and PR templates	2018-04-28 15:38:22 +02:00
PULL_REQUEST_TEMPLATE.md	Added GitHub issue and PR templates	2018-04-28 15:38:22 +02:00