diff man/reftex.texi @ 74049:cc7d56f47257

xresmini is mreged into xresources.texi
author Jan Djärv <jan.h.d@swipnet.se>
date Sat, 18 Nov 2006 14:49:07 +0000
parents 7637a6a23f0f
children 4ad431d8e164 a1a25ac6c88a
line wrap: on
line diff