diff make-dist @ 86827:04e9efb633d6

Ari Roponen <ari.roponen at gmail.com> (tiny change) (encode-time-value): Doc fix.
author Glenn Morris <rgm@gnu.org>
date Thu, 29 Nov 2007 04:46:20 +0000
parents c9c2e3b42307
children 2c4cf44f634f
line wrap: on
line diff