From c4aef0c71418e293963d86c3a886e4279080ce9f Mon Sep 17 00:00:00 2001
From: Robin Sonnabend <robin@fsmpi.rwth-aachen.de>
Date: Tue, 4 Apr 2017 01:27:20 +0200
Subject: [PATCH] Add thomas public key

---
 common/files/keys/thomas.pub | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 common/files/keys/thomas.pub

diff --git a/common/files/keys/thomas.pub b/common/files/keys/thomas.pub
new file mode 100644
index 0000000..eacd6ba
--- /dev/null
+++ b/common/files/keys/thomas.pub
@@ -0,0 +1 @@
+ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIAMpP3qjdK1UX6Jj2RQACuBCBOVEBnw7cwZVFxbyhYFg thomas@fsmpi.rwth-aachen.de
-- 
GitLab