diff options
author | Nadrieril | 2020-06-25 14:21:02 +0100 |
---|---|---|
committer | Nadrieril | 2020-06-25 15:12:09 +0100 |
commit | 8fd2fb4871335c72b9448da4a66144fd7f986f09 (patch) | |
tree | ce12cf2b725e89c5651e4e9ab2e17a8255e7f6d7 /dhall/src/syntax/text/dhall.pest.visibility | |
parent | 812fb88102082493d1176aab7ee61b5339821492 (diff) |
spec!: remove the ability to quote paths in URLs
Diffstat (limited to 'dhall/src/syntax/text/dhall.pest.visibility')
-rw-r--r-- | dhall/src/syntax/text/dhall.pest.visibility | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/syntax/text/dhall.pest.visibility b/dhall/src/syntax/text/dhall.pest.visibility index 2fee160..6de7dd2 100644 --- a/dhall/src/syntax/text/dhall.pest.visibility +++ b/dhall/src/syntax/text/dhall.pest.visibility @@ -120,7 +120,7 @@ home_path absolute_path scheme http_raw -url_path +path_abempty authority # userinfo # host |