diff options
Diffstat (limited to 'doc/misc/widget.texi')
| -rw-r--r-- | doc/misc/widget.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/misc/widget.texi b/doc/misc/widget.texi index 275da073a9f..21b00116875 100644 --- a/doc/misc/widget.texi +++ b/doc/misc/widget.texi @@ -1829,7 +1829,3 @@ variables, and widgets described in this manual. @printindex cp @bye - -@ignore - arch-tag: 2b427731-4c61-4e72-85de-5ccec9c623f0 -@end ignore |