diff options
author | Nadrieril | 2019-09-02 23:03:05 +0200 |
---|---|---|
committer | Nadrieril | 2019-09-02 23:03:05 +0200 |
commit | f892f0bdb1dc9a8f2d1cda245e17c28fcf1090b3 (patch) | |
tree | d3dc2c2fd2b98c2938b01e7ffb5bf2a085b32feb /dhall_syntax/src/lib.rs | |
parent | 5dde11c8ffb13fbaf5dbc9c2b544270c22a7d2f5 (diff) |
Improve hygiene of identifiers
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions