diff options
| author | Glenn Morris | 2017-11-29 17:12:56 -0800 |
|---|---|---|
| committer | Glenn Morris | 2017-11-29 17:12:56 -0800 |
| commit | f069ea4f84a94bfbbd444073729f81fdd27c9445 (patch) | |
| tree | 6adf14a7d71264bb20c87a426df6e18e0edba9a3 /doc/misc | |
| parent | 03e1012be4028e653bd88c93846b17172b5c0faa (diff) | |
| parent | 408862f02a874dcd9cfc2599adb35dec522b3ef4 (diff) | |
| download | emacs-f069ea4f84a94bfbbd444073729f81fdd27c9445.tar.gz emacs-f069ea4f84a94bfbbd444073729f81fdd27c9445.zip | |
Merge from origin/emacs-26
408862f02a (origin/emacs-26) ; * lisp/emacs-lisp/bytecomp.el: Tweak m...
9964db4c34 Restore obsolete method of changing byte-compile-dest-file
3dd25aeecb Some minor Tramp corrections
d670a15f25 * doc/misc/url.texi (http/https): Fix typo
99d07e8d5e Remove some bogus definition-prefixes from loaddefs
6067f0c702 Shell-quote wildcards when invoking 'vc-git-grep'
0540df10e6 Update documentation of '.dir-locals-2.el'
f2441ab320 ; Fix some tiny doc and comment typos
22ff46e6d8 ; Fix some comment typos
# Conflicts:
# etc/NEWS
Diffstat (limited to 'doc/misc')
| -rw-r--r-- | doc/misc/url.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/url.texi b/doc/misc/url.texi index e98fab4e011..075d0f6fed1 100644 --- a/doc/misc/url.texi +++ b/doc/misc/url.texi | |||
| @@ -401,7 +401,7 @@ gateway method to be used. @xref{Gateways in general}. | |||
| 401 | @defopt url-honor-refresh-requests | 401 | @defopt url-honor-refresh-requests |
| 402 | If this option is non-@code{nil} (the default), the @code{url} library | 402 | If this option is non-@code{nil} (the default), the @code{url} library |
| 403 | honors the HTTP @samp{Refresh} header, which is used by servers to | 403 | honors the HTTP @samp{Refresh} header, which is used by servers to |
| 404 | direct clients to reload documents from the same URL or a or different | 404 | direct clients to reload documents from the same URL or a different |
| 405 | one. If the value is @code{nil}, the @samp{Refresh} header is | 405 | one. If the value is @code{nil}, the @samp{Refresh} header is |
| 406 | ignored; any other value means to ask the user on each request. | 406 | ignored; any other value means to ask the user on each request. |
| 407 | @end defopt | 407 | @end defopt |