summaryrefslogtreecommitdiff
path: root/dhall_generated_parser/src
diff options
context:
space:
mode:
authorNadrieril2019-08-16 20:05:23 +0200
committerNadrieril2019-08-16 20:05:23 +0200
commit9383d55718b86faf4c1734fe8fee3f99730499d4 (patch)
tree0319df4b3cd1e9d7b7d28f9f8b1f568ce50895e2 /dhall_generated_parser/src
parente0f5216215ccb7a4df85d80e11dd265cdb52a44f (diff)
Remove Const-optimization for now
Diffstat (limited to 'dhall_generated_parser/src')
0 files changed, 0 insertions, 0 deletions