From 4e09bca9e34c226b6d7e34b4fa11248405fd988e Mon Sep 17 00:00:00 2001 From: Anton Kling Date: Sun, 22 Oct 2023 19:50:38 +0200 Subject: Move everything into a new repo. --- toolchain/get-keys.sh | 3 +++ 1 file changed, 3 insertions(+) create mode 100755 toolchain/get-keys.sh (limited to 'toolchain/get-keys.sh') 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 -- cgit v1.2.3