diff man/reftex.texi @ 26198:cec11102bd84

Remove pseudo_window_p.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 26 Oct 1999 15:37:49 +0000
parents ac7e9e5e2ccb
children d7f536a01276
line wrap: on
line diff