diff options
| author | Miles Bader <miles@gnu.org> | 2003-09-01 15:45:59 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 2003-09-01 15:45:59 +0000 |
| commit | f51da7d2c516235d43796493c0db69a183cc6220 (patch) | |
| tree | 118b3f08b772b016b051c77c0f35d95f0fdfe7e9 /man/xresources.texi | |
| parent | 6a01dc46781e69a381d0336cadefd31f7ca0b64b (diff) | |
| download | emacs-f51da7d2c516235d43796493c0db69a183cc6220.tar.gz | |
Add arch taglines
Diffstat (limited to 'man/xresources.texi')
| -rw-r--r-- | man/xresources.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/man/xresources.texi b/man/xresources.texi index 702c6feedc4..5d040b61a05 100644 --- a/man/xresources.texi +++ b/man/xresources.texi @@ -929,3 +929,7 @@ family. It corresponds to the fifth part of an X font name. It is one of @noindent @var{size} is a decimal number that describes the font size in points. + +@ignore + arch-tag: 9b6ff773-48b6-41f6-b2f9-f114b8bdd97f +@end ignore |