diff man/buffers.texi @ 33116:d521254b9e18

Rearrange menu items more logically, and put them into a single category. Add menu items for RefTeX and Widget.
author Eli Zaretskii <eliz@gnu.org>
date Wed, 01 Nov 2000 11:36:23 +0000
parents e0b702f0bc3c
children 44a6f7ea121f
line wrap: on
line diff