diff options
| author | Nadrieril | 2019-05-02 17:07:11 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-05-02 17:07:11 +0200 |
| commit | db3ca819283f9bd99d197de464717f0b58b52fe4 (patch) | |
| tree | 51ae89e9b1153a7f9b3aa5dae38cfe4441aef9af /dhall/build.rs | |
| parent | c13a4881b56bf2f5b2d5d4d0018a48927b45e7e0 (diff) | |
Instead of possibly nonexistent Type, treat Sort specially
Diffstat (limited to 'dhall/build.rs')
0 files changed, 0 insertions, 0 deletions