From 52b64757b7a7b0af887c0d6fabf4fb77da4296c7 Mon Sep 17 00:00:00 2001
From: Hugo van Kemenade <hugovk@users.noreply.github.com>
Date: Mon, 2 Dec 2019 11:10:41 +0200
Subject: [PATCH] Remove unused Pipfile (#436)

---
 docs/Pipfile | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 docs/Pipfile

diff --git a/docs/Pipfile b/docs/Pipfile
deleted file mode 100644
index d690b5f..0000000
--- a/docs/Pipfile
+++ /dev/null
@@ -1,18 +0,0 @@
-[[source]]
-name = "pypi"
-url = "https://pypi.org/simple"
-verify_ssl = true
-
-[dev-packages]
-
-[packages]
-"backports.csv" = "*"
-odfpy = "*"
-openpyxl = ">=2.4.0"
-pandas = "*"
-xlrd = "*"
-xlwt = "*"
-PyYAML = "*"
-
-[requires]
-python_version = "3.6"