aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall
Commit message (Expand)AuthorAgeFilesLines
* Remove unneeded filesClement Delafargue2019-10-042-16/+0
* upgrade to dhall 1.26.1polykindsClement Delafargue2019-10-032-1/+13
* dhall: Add a basic dhall type to be able to configure the rolePaul Bonaud2019-09-273-0/+17