diff options
author | Anton Kling <anton@kling.gg> | 2023-10-22 19:50:38 +0200 |
---|---|---|
committer | Anton Kling <anton@kling.gg> | 2023-10-22 19:50:38 +0200 |
commit | 4e09bca9e34c226b6d7e34b4fa11248405fd988e (patch) | |
tree | 80f156b7940d9d19971395f335530170c69516c7 /toolchain/get-keys.sh |
Move everything into a new repo.
Diffstat (limited to 'toolchain/get-keys.sh')
-rwxr-xr-x | toolchain/get-keys.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/toolchain/get-keys.sh b/toolchain/get-keys.sh new file mode 100755 index 0000000..0210b8f --- /dev/null +++ b/toolchain/get-keys.sh @@ -0,0 +1,3 @@ +#!/bin/sh +gpg --recv-key 3A24BC1E8FB409FA9F14371813FCEF89DD9E3C4F +gpg --recv-key D3A93CAD751C2AF4F8C7AD516C35B99309B5FA62 |