diff options
Diffstat (limited to 'man7/uri.7')
| -rw-r--r-- | man7/uri.7 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/man7/uri.7 b/man7/uri.7 index d4b29343d8..e540e55481 100644 --- a/man7/uri.7 +++ b/man7/uri.7 @@ -519,8 +519,8 @@ A URI is always shown in its "escaped" form. Unreserved characters can be escaped without changing the semantics of the URI, but this should not be done unless the URI is being used in a context that does not allow the unescaped character to appear. -For example, "%7e" is sometimes used instead of "~" in an http URL -path, but the two are equivalent for an http URL. +For example, "%7e" is sometimes used instead of "~" in an HTTP URL +path, but the two are equivalent for an HTTP URL. .PP For URIs which must handle characters outside the US ASCII character set, the HTML 4.01 specification (section B.2) and |