diff options
Diffstat (limited to 'dhall')
| -rw-r--r-- | dhall/Config.dhall | 2 | ||||
| -rw-r--r-- | dhall/mkConfig.dhall | 4 |
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 = |