From 1e7c50607b337910ca1b7689b49cbcccfaca6b73 Mon Sep 17 00:00:00 2001
From: YSelf Tool <yselftool@gmail.com>
Date: Tue, 27 Oct 2015 17:55:56 +0100
Subject: [PATCH] Added robin.pub to keys

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

diff --git a/common/files/keys/robin.pub b/common/files/keys/robin.pub
new file mode 100644
index 0000000..069a9eb
--- /dev/null
+++ b/common/files/keys/robin.pub
@@ -0,0 +1 @@
+ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIPnhJfWZEL7BRjsCfqVxW9xOvaLmiKoPaihXpCGH/4dw robin@fsmpi.rwth-aachen.de
-- 
GitLab