diff options
| author | paulrbr-fl <43074087+paulrbr-fl@users.noreply.github.com> | 2019-09-27 18:17:21 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-27 18:17:21 +0200 |
| commit | a7dd06f0cc90aaa8c81f5243e74e83f22c3119f4 (patch) | |
| tree | 3fe48c47e7a942bd4c86152ad50ce5693b5e056a /dhall/Types.dhall | |
| parent | ccb3f886e72c9b315e064678387f0cbd59920c1e (diff) | |
| parent | 592f1948b452394fec3d7c6e776d760ba16b231b (diff) | |
| download | ansible-rundeck-jobs-a7dd06f0cc90aaa8c81f5243e74e83f22c3119f4.tar.gz ansible-rundeck-jobs-a7dd06f0cc90aaa8c81f5243e74e83f22c3119f4.tar.zst ansible-rundeck-jobs-a7dd06f0cc90aaa8c81f5243e74e83f22c3119f4.zip | |
Merge pull request #6 from paulrbr-fl/add-dhall-configv0.5
dhall: Add a basic dhall type to be able to configure the role
Diffstat (limited to 'dhall/Types.dhall')
| -rw-r--r-- | dhall/Types.dhall | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall/Types.dhall b/dhall/Types.dhall new file mode 100644 index 0000000..2a6fa6e --- /dev/null +++ b/dhall/Types.dhall | |||
| @@ -0,0 +1 @@ | |||
| { Vault = ./Vault.dhall, Config = ./Config.dhall } | |||