diff options
author | Nadrieril | 2020-04-05 19:56:00 +0100 |
---|---|---|
committer | GitHub | 2020-04-05 19:56:00 +0100 |
commit | 4290615769fc26c5e4b70843e7fbfddf6359af41 (patch) | |
tree | d7b7a860f08831aa81faee961c0d675440daea32 /dhall/src | |
parent | 7e977f282fb6a0eff0ef45738b9b5c98dc4c6fee (diff) | |
parent | 5a10cd2e8fac854f4f6fa152cfb1b9ad71b0d091 (diff) |
Merge pull request #157 from Nadrieril/release
Release v0.5.0
Diffstat (limited to 'dhall/src')
-rw-r--r-- | dhall/src/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index 392c344..98ad4f0 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -1,4 +1,4 @@ -#![doc(html_root_url = "https://docs.rs/dhall/0.4.0")] +#![doc(html_root_url = "https://docs.rs/dhall/0.5.0")] #![allow( clippy::implicit_hasher, clippy::module_inception, |