From 5f23d5909f18ecc5d0af12cdbb1aee44dccf89ca Mon Sep 17 00:00:00 2001
From: Paul Bonaud <paul.bonaud@fretlink.com>
Date: Thu, 2 Jan 2020 13:44:05 +0100
Subject: config(dhall): add a pre-function lua definition for HTTPS redirects

This PR fixes #12 and takes precedence over #13 (cherry-picked one of
 #13's commit)
---
 dhall/types.dhall | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 dhall/types.dhall

(limited to 'dhall/types.dhall')

diff --git a/dhall/types.dhall b/dhall/types.dhall
deleted file mode 100644
index 938dc74..0000000
--- a/dhall/types.dhall
+++ /dev/null
@@ -1,13 +0,0 @@
-{ Vault =
-    ./Vault.dhall
-, Config =
-    ./Config.dhall
-, Server =
-    ./server/Server.dhall
-, Service =
-    ./server/service/Service.dhall
-, Plugin =
-    ./server/service/plugin/Plugin.dhall
-, Route =
-    ./server/service/route/Route.dhall
-}
-- 
cgit v1.2.3