diff options
author | Clément Delafargue <39330590+clementd-fretlink@users.noreply.github.com> | 2019-10-07 09:55:09 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-07 09:55:09 +0200 |
commit | 78c6d0494b38f752ffd5ce6faf7bf00b0b2a11c9 (patch) | |
tree | 9f1e54602403fa90be42b475f722400142b434b4 /dhall/addon | |
parent | 3290aaf7f973cf3c64219d029538f53f1d82da94 (diff) | |
parent | 2acb3d4f7a61f0a6d932624ccf11cd14d5dc1ff8 (diff) | |
download | ansible-clever-78c6d0494b38f752ffd5ce6faf7bf00b0b2a11c9.tar.gz ansible-clever-78c6d0494b38f752ffd5ce6faf7bf00b0b2a11c9.tar.zst ansible-clever-78c6d0494b38f752ffd5ce6faf7bf00b0b2a11c9.zip |
Merge pull request #54 from clementd-fretlink/polykindsv2.0
Migrate to dhall 1.26.1 and merge types and terms
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 } | ||