aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/Config.dhall
diff options
context:
space:
mode:
authorClément Delafargue <39330590+clementd-fretlink@users.noreply.github.com>2019-07-02 10:52:30 +0200
committerGitHub <noreply@github.com>2019-07-02 10:52:30 +0200
commit5e0fa991c9e80634ed1fab3bcc2cd0ed977310dd (patch)
tree25cbae9f60b25cee963077773a52d8cd8fc621ee /dhall/Config.dhall
parent587357dd2edae36fc8a1632c61a62801af31f49f (diff)
parente6872941578e0988b4d1f2eca6fbf59e655a0957 (diff)
downloadansible-clever-5e0fa991c9e80634ed1fab3bcc2cd0ed977310dd.tar.gz
ansible-clever-5e0fa991c9e80634ed1fab3bcc2cd0ed977310dd.tar.zst
ansible-clever-5e0fa991c9e80634ed1fab3bcc2cd0ed977310dd.zip
Merge pull request #46 from clementd-fretlink/cleanupv1.23
update metrics and entrypoint default definitions
Diffstat (limited to 'dhall/Config.dhall')
-rw-r--r--dhall/Config.dhall2
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/Config.dhall b/dhall/Config.dhall
index c095403..5b7eab2 100644
--- a/dhall/Config.dhall
+++ b/dhall/Config.dhall
@@ -17,7 +17,7 @@ in λ(Environment : Type)
17 Optional Text 17 Optional Text
18 , clever_haskell_entry_point : 18 , clever_haskell_entry_point :
19 Optional Text 19 Optional Text
20 , clever_metrics : 20 , clever_disable_metrics :
21 Bool 21 Bool
22 , clever_addons : 22 , clever_addons :
23 List Addon 23 List Addon