From 2908834ed6fc78d3ef9f31f7652bb1f1b60d53bb Mon Sep 17 00:00:00 2001
From: Hinrikus Wolf <hinrikus@fsmpi.rwth-aachen.de>
Date: Wed, 17 Aug 2016 22:47:59 +0200
Subject: [PATCH] remove jens' key from root

---
 common/files/{keys => keys-removed}/jens.pub   | 0
 common/files/{keys => keys-removed}/jensFS.pub | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 rename common/files/{keys => keys-removed}/jens.pub (100%)
 rename common/files/{keys => keys-removed}/jensFS.pub (100%)

diff --git a/common/files/keys/jens.pub b/common/files/keys-removed/jens.pub
similarity index 100%
rename from common/files/keys/jens.pub
rename to common/files/keys-removed/jens.pub
diff --git a/common/files/keys/jensFS.pub b/common/files/keys-removed/jensFS.pub
similarity index 100%
rename from common/files/keys/jensFS.pub
rename to common/files/keys-removed/jensFS.pub
-- 
GitLab