Joel Wachsler a987b44654 Use minimal profile		2022-07-11 00:44:24 +02:00
..
workflows	Use minimal profile	2022-07-11 00:44:24 +02:00
verify_version.sh	Add version verification	2022-07-10 18:09:08 +00:00