diff options
Diffstat (limited to 'doc/misc/url.texi')
| -rw-r--r-- | doc/misc/url.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/misc/url.texi b/doc/misc/url.texi index 62ed9d87b53..d78d5573920 100644 --- a/doc/misc/url.texi +++ b/doc/misc/url.texi @@ -1194,7 +1194,3 @@ Connect directly. @printindex cp @bye - -@ignore - arch-tag: c96be356-7e2d-4196-bcda-b13246c5c3f0 -@end ignore |