summaryrefslogtreecommitdiff
path: root/dhall/src/semantics
diff options
context:
space:
mode:
authorNadrieril2020-04-05 11:39:58 +0100
committerNadrieril2020-04-05 11:39:58 +0100
commit158117e4096f5af571e79e1a33d91f09e7b2cc5d (patch)
tree6722c8eb2afb6f08882007d9739dae2683b1d195 /dhall/src/semantics
parent46cb68809cdda92114adb2593b13a43687306786 (diff)
Rename Options to Deserializer
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions