comparison man/reftex.texi @ 80812:08cc1154f281

~ description fixes from rms
author Karl Berry <karl@gnu.org>
date Sat, 28 Apr 2007 18:01:38 +0000
parents 88224dc74061
children 02b9a9aa5b0c e6fdae9180d4
comparison
equal deleted inserted replaced
80811:f40c1549ef99 80812:08cc1154f281