diff make-dist @ 88774:ef046df4c6ee

Remove some unused variables. (safe_to_load_p): If safe, return the magic number version byte. (Fload): Maybe use load-with-code-conversion.
author Dave Love <fx@gnu.org>
date Mon, 24 Jun 2002 18:23:15 +0000
parents 1109a8546104
children 071e287dcbde
line wrap: on
line diff