diff build-ins.in @ 4830:a61307ac474e

Internal clean-up. Save information about current tags files, don't save the tags buffers (to save reload time). Don't save desktop-globals-to-save (desktop files must be erased for this to take effect, sorry.) Save "mark-activity" and allow multi-dir direds.
author Richard M. Stallman <rms@gnu.org>
date Thu, 07 Oct 1993 16:50:26 +0000
parents b0eeade85c1f
children 1541c518f769
line wrap: on
line diff