diff options
author | Nadrieril | 2019-05-02 17:18:52 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-02 17:18:52 +0200 |
commit | 17ab417aeb5aea6cd21240a491607b9017194737 (patch) | |
tree | d657fd50678dd8a562621d91c3caecbb2396fc7a /dhall/src/traits/static_type.rs | |
parent | db3ca819283f9bd99d197de464717f0b58b52fe4 (diff) |
Remove shift0
Diffstat (limited to 'dhall/src/traits/static_type.rs')
0 files changed, 0 insertions, 0 deletions