Remove unneeded files

diff --git a/dhall/Config.dhall b/dhall/Config.dhall
deleted file mode 100644 (file)
index 1c6202c..0000000
--- a/dhall/Config.dhall
+++ /dev/null
@@ -1,15 +0,0 @@
-{ rundeck_jobs_path :
-       Text
-, rundeck_project :
-       Text
-, rundeck_api_url :
-       Text
-, rundeck_api_token :
-       Text
-, rundeck_api_version :
-       Optional Natural
-, rundeck_remove_missing :
-       Optional Bool
-, rundeck_jobs_group :
-       Optional Text
-}

diff --git a/dhall/Vault.dhall b/dhall/Vault.dhall
deleted file mode 100644 (file)
index 089da4e..0000000
--- a/dhall/Vault.dhall
+++ /dev/null
@@ -1 +0,0 @@
-{ apiToken : Text }