diff src/m/sequent-ptx.h @ 18669:cb4d74c720ed

(custom-load-symbol): Don't reload a preloaded file.
author Richard M. Stallman <rms@gnu.org>
date Mon, 07 Jul 1997 19:06:16 +0000
parents 11039e684bd8
children 4be8406ebef9
line wrap: on
line diff