diff man/xresources.texi @ 79427:cc15c80eebe7

Always take precision into account.
author Andreas Schwab <schwab@suse.de>
date Fri, 16 Nov 2007 00:18:16 +0000
parents 4805684e0b00
children 02b9a9aa5b0c e6fdae9180d4
line wrap: on
line diff