diff man/reftex.texi @ 70511:cd1e2cf9f28c

* xresmini.texi (GTK resources): Inserted GTK description.
author Jan Djärv <jan.h.d@swipnet.se>
date Sun, 07 May 2006 19:39:28 +0000
parents 11b616eddda4
children b7261e09f8e4 e6bf73e43cf4
line wrap: on
line diff