aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall
diff options
context:
space:
mode:
Diffstat (limited to 'dhall')
-rw-r--r--dhall/Config.dhall15
-rw-r--r--dhall/Vault.dhall1
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 }