diff options
| author | Nadrieril | 2019-08-16 18:41:19 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-16 18:41:19 +0200 |
| commit | fcc9afb3624883c4f99320c37678b7f9d338630d (patch) | |
| tree | 4a0dd817b2138c6bf0f15496551ee40154f3ad1d /dhall-lang | |
| parent | 9babfb33ab95a93d1e2b70c54ee8100409253ce9 (diff) | |
fixup! No need for generic Context anymore
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions