diff options
author | Nadrieril | 2019-08-13 15:25:53 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-13 15:31:15 +0200 |
commit | 1ea8b10051d29c634399304273d6ee565d039bc2 (patch) | |
tree | 78750a34b6dd54f71bdff8fd835fc705a9ec2582 /.gitmodules | |
parent | 74bb40e88c71b80ab785f07fd19da22404ab6e95 (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