aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts/dhall_check.sh
Commit message (Collapse)AuthorAgeFilesLines
* add dhall interfaceHussein Ait-Lahcen2018-11-201-0/+26