diff options
Diffstat (limited to 'doc/misc/nxml-mode.texi')
| -rw-r--r-- | doc/misc/nxml-mode.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/misc/nxml-mode.texi b/doc/misc/nxml-mode.texi index fec3350312c..9bd5b410ead 100644 --- a/doc/misc/nxml-mode.texi +++ b/doc/misc/nxml-mode.texi @@ -832,3 +832,7 @@ full Unicode support, which should improve the situation here. @end itemize @bye + +@ignore + arch-tag: 3b6e8ac2-ae8d-4f38-bd43-ce9f80be04d6 +@end ignore |