diff options
author | Nadrieril Feneanar | 2020-03-18 12:45:06 +0000 |
---|---|---|
committer | GitHub | 2020-03-18 12:45:06 +0000 |
commit | f90f00c38861a49eba950a59424be8796f266524 (patch) | |
tree | 2152dcc41b94b0bfdcddda79b5cf07c7a908bedb /dhall/src | |
parent | 8a9b1d75291d826e4235eb4e466e4fd70137dc90 (diff) | |
parent | 74a3dd59cbb5cebb8d4996188c11ef8af49cf91f (diff) |
Merge pull request #148 from Nadrieril/release
Cut release
Diffstat (limited to '')
-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 058411c..c0830d4 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -1,4 +1,4 @@ -#![doc(html_root_url = "https://docs.rs/dhall/0.3.0")] +#![doc(html_root_url = "https://docs.rs/dhall/0.4.0")] #![allow( clippy::int_plus_one, // Comes from pest_consume macro clippy::module_inception, |