Paolo Tranquilli e0784e0680 Swift: fix update-codeql ... Also require sudo at the start of the script if updating.		2022-06-22 11:05:30 +02:00
..
swift	Swift: fix update-codeql	2022-06-22 11:05:30 +02:00
devcontainer.json	Devcontainer: Install test dependencies	2022-05-12 12:17:04 +00:00