diff options
Diffstat (limited to 'dhall')
-rw-r--r-- | dhall/Config.dhall | 15 | ||||
-rw-r--r-- | dhall/Vault.dhall | 1 |
2 files changed, 0 insertions, 16 deletions
diff --git a/dhall/Config.dhall b/dhall/Config.dhall deleted file mode 100644 index 1c6202c..0000000 --- a/dhall/Config.dhall +++ /dev/null | |||
@@ -1,15 +0,0 @@ | |||
1 | { rundeck_jobs_path : | ||
2 | Text | ||
3 | , rundeck_project : | ||
4 | Text | ||
5 | , rundeck_api_url : | ||
6 | Text | ||
7 | , rundeck_api_token : | ||
8 | Text | ||
9 | , rundeck_api_version : | ||
10 | Optional Natural | ||
11 | , rundeck_remove_missing : | ||
12 | Optional Bool | ||
13 | , rundeck_jobs_group : | ||
14 | Optional Text | ||
15 | } | ||
diff --git a/dhall/Vault.dhall b/dhall/Vault.dhall deleted file mode 100644 index 089da4e..0000000 --- a/dhall/Vault.dhall +++ /dev/null | |||
@@ -1 +0,0 @@ | |||
1 | { apiToken : Text } | ||