diff options
| author | Nadrieril | 2019-03-06 16:30:40 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-06 16:30:40 +0100 |
| commit | 4d92f06c98c98c014a02c218b6c31cf81d9f0fec (patch) | |
| tree | 30a2e3e0879c58c866a3ae0ed7cbebf2c4a1cfa6 /dhall/src/context.rs | |
| parent | 45992d093b950170fc30e63d2c7d7a2767e9b9e8 (diff) | |
Move context to dhall_core
Diffstat (limited to '')
| -rw-r--r-- | dhall_core/src/context.rs (renamed from dhall/src/context.rs) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/dhall/src/context.rs b/dhall_core/src/context.rs index b88a677..b88a677 100644 --- a/dhall/src/context.rs +++ b/dhall_core/src/context.rs |