diff configure @ 104800:31250b83d2bb

(time-date): Mention float-time.
author Glenn Morris <rgm@gnu.org>
date Wed, 02 Sep 2009 03:24:46 +0000
parents b54f03a2c09a
children fe2a0bec5d65
line wrap: on
line diff