diff options
author | Nadrieril | 2019-05-06 23:21:19 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-06 23:21:19 +0200 |
commit | 5b91eaa9d6b70a2ac72fe19f2d21871c8d94b017 (patch) | |
tree | 9ab6c6025d8f994c1ca10db1c4b8ea7d39087290 /dhall/src/traits/mod.rs | |
parent | 60129b7d1c0ea8bdf2ec666fa51957e97465e88f (diff) |
Move api-related modules into an api module
Diffstat (limited to '')
-rw-r--r-- | dhall/src/api/traits/mod.rs (renamed from dhall/src/traits/mod.rs) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/dhall/src/traits/mod.rs b/dhall/src/api/traits/mod.rs index 315e17a..315e17a 100644 --- a/dhall/src/traits/mod.rs +++ b/dhall/src/api/traits/mod.rs |