1 files changed, 1 insertions, 0 deletions

diff --git a/dhall/Types.dhall b/dhall/Types.dhall
new file mode 100644
index 0000000..2a6fa6e
--- /dev/null
+++ b/dhall/Types.dhall
@@ -0,0 +1 @@
+{ Vault = ./Vault.dhall, Config = ./Config.dhall }