diff options
| author | Nadrieril | 2019-12-17 11:45:18 +0000 |
|---|---|---|
| committer | Nadrieril | 2019-12-17 11:45:18 +0000 |
| commit | 27b054b0465d106fb4b6ba4d6dec16288cbc4e1d (patch) | |
| tree | bfbe91eec47ec8e9aeaf621798fa62bd77becfc4 /dhall_syntax/src | |
| parent | 212ee21e15e4334baa8d1b2a70aa6cc53fbd40ee (diff) | |
Remove dhall_syntax crate
Diffstat (limited to '')
| -rw-r--r-- | dhall_syntax/src/lib.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dhall_syntax/src/lib.rs b/dhall_syntax/src/lib.rs deleted file mode 100644 index 8b13789..0000000 --- a/dhall_syntax/src/lib.rs +++ /dev/null @@ -1 +0,0 @@ - |