summaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
authorNadrieril2019-08-13 15:25:53 +0200
committerNadrieril2019-08-13 15:31:15 +0200
commit1ea8b10051d29c634399304273d6ee565d039bc2 (patch)
tree78750a34b6dd54f71bdff8fd835fc705a9ec2582 /.gitmodules
parent74bb40e88c71b80ab785f07fd19da22404ab6e95 (diff)
Merge `Type` and `Value` in serde_dhall
There was no point in separating them
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions