diff INSTALL @ 47015:7faae7c35e07

(symbol-file-load-history-loaded) (load-symbol-file-load-history): Deleted. (symbol-file): Don't call load-symbol-file-load-history.
author Richard M. Stallman <rms@gnu.org>
date Sat, 24 Aug 2002 02:58:53 +0000
parents 19de9bf49e2d
children 5bb8339ffc9e
line wrap: on
line diff