From 58872cd580b6d8ca0f00b46823ee00fe51485c4e Mon Sep 17 00:00:00 2001 From: Hinrikus Wolf <hinrikus.wolf@rwth-aachen.de> Date: Tue, 1 Sep 2015 20:16:51 +0200 Subject: [PATCH] moved patrick to absend --- common/files/{keys => keys-removed}/patrick.pub | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename common/files/{keys => keys-removed}/patrick.pub (100%) diff --git a/common/files/keys/patrick.pub b/common/files/keys-removed/patrick.pub similarity index 100% rename from common/files/keys/patrick.pub rename to common/files/keys-removed/patrick.pub -- GitLab