diff options
author | Nadrieril | 2019-03-21 15:42:16 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-21 15:42:16 +0100 |
commit | 427c5e55a6e6768b22c3e7ad40594d451ac024e7 (patch) | |
tree | ed5b8ae5af363536bbbf8054a0eeb6c014e3e2fa /dhall_core/src/label.rs | |
parent | 7bbf42dc5d3727dffcb036ffe30dd433faff1950 (diff) |
Rename Record/Union to RecordType/UnionType
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions