From c431033078bb91d0cbcf47014982d47a35af73fc Mon Sep 17 00:00:00 2001
From: ojs1g14 <ojs1g14@soton.ac.uk>
Date: Mon, 16 Jul 2018 15:26:07 +0100
Subject: [PATCH] Delete docs

---
 docs | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 docs

diff --git a/docs b/docs
deleted file mode 100644
index e69de29..0000000
-- 
GitLab