diff options
Diffstat (limited to 'dhall/types.dhall')
-rw-r--r-- | dhall/types.dhall | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dhall/types.dhall b/dhall/types.dhall deleted file mode 100644 index ab153d2..0000000 --- a/dhall/types.dhall +++ /dev/null | |||
@@ -1 +0,0 @@ | |||
1 | { Vault = ./Vault.dhall, Addon = ./addon/Addon.dhall, Config = ./Config.dhall } | ||