diff options
Diffstat (limited to 'dhall/addon')
-rw-r--r-- | dhall/addon/Addon.dhall | 1 | ||||
-rw-r--r-- | dhall/addon/Postgresql.dhall | 3 | ||||
-rw-r--r-- | dhall/addon/functions.dhall | 1 |
3 files changed, 0 insertions, 5 deletions
diff --git a/dhall/addon/Addon.dhall b/dhall/addon/Addon.dhall deleted file mode 100644 index 2eb781c..0000000 --- a/dhall/addon/Addon.dhall +++ /dev/null | |||
@@ -1 +0,0 @@ | |||
1 | < Postgresql : { name : Text, env_prefix : Text } > | ||
diff --git a/dhall/addon/Postgresql.dhall b/dhall/addon/Postgresql.dhall deleted file mode 100644 index ed6b411..0000000 --- a/dhall/addon/Postgresql.dhall +++ /dev/null | |||
@@ -1,3 +0,0 @@ | |||
1 | let addon = ./Addon.dhall | ||
2 | |||
3 | in addon.Postgresql { name = "pg", env_prefix = "POSTGRESQL_ADDON" } | ||
diff --git a/dhall/addon/functions.dhall b/dhall/addon/functions.dhall deleted file mode 100644 index 65979ac..0000000 --- a/dhall/addon/functions.dhall +++ /dev/null | |||
@@ -1 +0,0 @@ | |||
1 | { Postgresql = ./Postgresql.dhall } | ||