diff options
| author | Nadrieril | 2020-03-17 22:21:36 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-17 22:21:36 +0000 |
| commit | 0f474789a6d93086a10633cf2755e5cba68bd187 (patch) | |
| tree | 6df8ea0ec49da694f101e6205068ab3c1a4b898e /dhall/src/semantics/tck/env.rs | |
| parent | 6131fd407e1092afe04cf94e3eaea263f84e0211 (diff) | |
Disable Travis CI
Diffstat (limited to 'dhall/src/semantics/tck/env.rs')
0 files changed, 0 insertions, 0 deletions