summaryrefslogtreecommitdiff
path: root/dhall/src/ctxt.rs
diff options
context:
space:
mode:
authorNadrieril2020-12-07 20:03:37 +0000
committerNadrieril2020-12-08 20:25:20 +0000
commitd79f700ace3bf016bc578272fd800732dbaa1922 (patch)
tree5130a0acd3b1a651f484e24e764ba8a882540fea /dhall/src/ctxt.rs
parentb4ebbb2b8851e1f792ea6c01b927b83eddee7c5a (diff)
tweak: factor a bit
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions