diff options
| author | Nadrieril | 2020-11-05 22:20:21 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-05 22:20:21 +0000 |
| commit | 5ec5176f2953c19e9741da936fd873603099c258 (patch) | |
| tree | b5f34196ccf5100ffc7b3b8dcdc42239b05ac097 /dhall/src/semantics/nze/var.rs | |
| parent | 8325de2db085bb0b3599bc453b658a1dacfe79ae (diff) | |
| parent | 192b53ab510570eada4e4527f5ef3f629b0fa649 (diff) | |
Merge pull request #197 from Nadrieril/cleanup-test-exclusion
Centralize test exclusion into a single function
Diffstat (limited to 'dhall/src/semantics/nze/var.rs')
0 files changed, 0 insertions, 0 deletions