diff options
author | Nadrieril | 2020-02-18 19:08:53 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-18 19:08:53 +0000 |
commit | a3990858840a737d7831be45953b38bd67361fb7 (patch) | |
tree | bca528f60e5dfd3c80470f9526e96fc422d3c6ba /dhall/src/semantics/nze/var.rs | |
parent | 50a9dc4b9af19a35a983fe17108453d1d82d80ed (diff) |
Discard import headers while we don't use them
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions