summaryrefslogtreecommitdiff
path: root/dhall_syntax/src
diff options
context:
space:
mode:
authorNadrieril2019-05-09 23:18:55 +0200
committerNadrieril2019-05-09 23:23:49 +0200
commit33c1aa4bd1d5b83361eb52d00beb8d8c762225cd (patch)
tree1219c3305d9b113b10308bb30dc257acc06bc105 /dhall_syntax/src
parent7ac061b5ddf15ffe3fc4f36b64138b7431429758 (diff)
Make visibilities more consistent
Diffstat (limited to 'dhall_syntax/src')
0 files changed, 0 insertions, 0 deletions