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
..
Dockerfile	Swift: auto-install codeql on codespace	2022-06-22 10:51:30 +02:00
devcontainer.json	Swift: tweaks to codespace setup	2022-06-22 09:59:12 +02:00
root.sh	Swift: auto-install codeql on codespace	2022-06-22 10:51:30 +02:00
update-codeql.sh	Swift: fix update-codeql	2022-06-22 11:05:30 +02:00
user.sh	Swift: auto-install codeql on codespace	2022-06-22 10:51:30 +02:00