aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/types.dhall
diff options
context:
space:
mode:
authorPaul Bonaud <paul.bonaud@fretlink.com>2020-01-02 13:44:05 +0100
committerPaul Bonaud <paul.bonaud@fretlink.com>2020-01-02 15:41:41 +0100
commit5f23d5909f18ecc5d0af12cdbb1aee44dccf89ca (patch)
treebcf65ed77655f010e176186f9ffa75d1e575d0c2 /dhall/types.dhall
parent80320193527d24c33ce67da99521a4cdd6631edc (diff)
downloadansible-kong-app-5f23d5909f18ecc5d0af12cdbb1aee44dccf89ca.tar.gz
ansible-kong-app-5f23d5909f18ecc5d0af12cdbb1aee44dccf89ca.tar.zst
ansible-kong-app-5f23d5909f18ecc5d0af12cdbb1aee44dccf89ca.zip
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)
Diffstat (limited to 'dhall/types.dhall')
-rw-r--r--dhall/types.dhall13
1 files changed, 0 insertions, 13 deletions
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 @@
1{ Vault =
2 ./Vault.dhall
3, Config =
4 ./Config.dhall
5, Server =
6 ./server/Server.dhall
7, Service =
8 ./server/service/Service.dhall
9, Plugin =
10 ./server/service/plugin/Plugin.dhall
11, Route =
12 ./server/service/route/Route.dhall
13}