diff src/intervals.c @ 28927:a06e82e2ffc8

(get_boot_time): To obtain an 8 char file name, which is needed on mescaline, use a 2 char prefix, and call make_temp_name with second arg non-zero.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 16 May 2000 11:14:18 +0000
parents 451721e784a8
children fcb030c7708e
line wrap: on
line diff