1 files changed, 0 insertions, 1 deletions

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