From d0e8b3c8e8c7adaa562f5f81574d98a868f53a2b Mon Sep 17 00:00:00 2001
From: Ben Anderson <dataknut@icloud.com>
Date: Wed, 4 Nov 2020 17:10:16 +0000
Subject: [PATCH] added pages theme code to /docs on repo on git.soton
 otherwise the mirror to github over-writes it. NO CONTENT changed on github
 is preserved when we mirror OUT from git.soton

---
 docs/_config.yml | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 docs/_config.yml

diff --git a/docs/_config.yml b/docs/_config.yml
new file mode 100644
index 0000000..ddeb671
--- /dev/null
+++ b/docs/_config.yml
@@ -0,0 +1 @@
+theme: jekyll-theme-time-machine
\ No newline at end of file
-- 
GitLab