aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall
diff options
context:
space:
mode:
Diffstat (limited to 'dhall')
-rw-r--r--dhall/Config.dhall2
-rw-r--r--dhall/mkConfig.dhall4
2 files changed, 3 insertions, 3 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
diff --git a/dhall/mkConfig.dhall b/dhall/mkConfig.dhall
index 413ea5a..d2ec034 100644
--- a/dhall/mkConfig.dhall
+++ b/dhall/mkConfig.dhall
@@ -23,8 +23,8 @@ in λ(vault : Vault)
23 None Text 23 None Text
24 , clever_haskell_entry_point = 24 , clever_haskell_entry_point =
25 None Text 25 None Text
26 , clever_metrics = 26 , clever_disable_metrics =
27 True 27 False
28 , clever_addons = 28 , clever_addons =
29 [] : List Addon 29 [] : List Addon
30 , clever_env = 30 , clever_env =