diff src/intervals.c @ 29122:47f68a566622

(Fload): Add a comment about the meaning of Vuser_init_file being t.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 23 May 2000 21:58:58 +0000
parents 451721e784a8
children fcb030c7708e
line wrap: on
line diff