diff man/reftex.texi @ 67835:ca3575ba6361

Remove faces from group `faces'.
author Richard M. Stallman <rms@gnu.org>
date Tue, 27 Dec 2005 01:06:54 +0000
parents 69b3598a61c5
children dc2d5a6655a3 fa0da9b57058
line wrap: on
line diff