summaryrefslogtreecommitdiff
path: root/dhall/src/core
diff options
context:
space:
mode:
authorNadrieril2019-08-15 22:12:06 +0200
committerNadrieril2019-08-15 22:12:06 +0200
commit816f616479cfa277e19b2e69be6c41bc8210e032 (patch)
treeaee9e97e364fb76558f8617bf046aa77a4db3223 /dhall/src/core
parent9e38d92bf481da8e34081c81c813acd802efa016 (diff)
Disable some unused unstable features
Diffstat (limited to 'dhall/src/core')
0 files changed, 0 insertions, 0 deletions