aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/types.dhall
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/types.dhall')
-rw-r--r--dhall/types.dhall10
1 files changed, 1 insertions, 9 deletions
diff --git a/dhall/types.dhall b/dhall/types.dhall
index 5e6a81c..ab153d2 100644
--- a/dhall/types.dhall
+++ b/dhall/types.dhall
@@ -1,9 +1 @@
1{ Vault = { Vault = ./Vault.dhall, Addon = ./addon/Addon.dhall, Config = ./Config.dhall }
2 ./Vault.dhall
3, Addon =
4 ./addon/Addon.dhall
5, Environment =
6 ./environment/Environment.dhall
7, Config =
8 ./Config.dhall
9}