From 4dc58e6e14702989f7419d6bfc4ca589898f2e56 Mon Sep 17 00:00:00 2001
From: Gareth Coles <gdude2002@gmail.com>
Date: Mon, 8 Apr 2019 14:05:50 +0100
Subject: Remove wiki host, use /wiki - Also some wiki config

I've included the monokai pygments theme, but we can change it later
---
 Pipfile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Pipfile')

diff --git a/Pipfile b/Pipfile
index 1fd34c35..c6f210ab 100644
--- a/Pipfile
+++ b/Pipfile
@@ -28,6 +28,7 @@ psycopg2-binary = "~=2.8"
 django-simple-bulma = ">=1.1.6,<2.0"
 django-crispy-bulma = ">=0.1.2,<2.0"
 wiki = "~=0.4.4"
+pygments = "~=2.3.1"
 
 [requires]
 python_version = "3.7"
-- 
cgit v1.2.3