diff options
Diffstat (limited to 'man/regs.texi')
| -rw-r--r-- | man/regs.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/man/regs.texi b/man/regs.texi index 1ec319e5282..ab1ef42e2f1 100644 --- a/man/regs.texi +++ b/man/regs.texi @@ -319,3 +319,7 @@ points to. Insert in the buffer the @emph{contents} of the file that bookmark @var{bookmark} points to. @end table + +@ignore + arch-tag: b00af991-ebc3-4b3a-8e82-a3ac81ff2e64 +@end ignore |