diff make-dist @ 30480:5ef94127f946

new function: float-time
author Sam Steingold <sds@gnu.org>
date Wed, 26 Jul 2000 18:41:15 +0000
parents 349704f6532f
children 28cc44c6c08c
line wrap: on
line diff