diff make-dist @ 12723:48786c683506

(gettimeofday): New function, defined if necessary.
author Richard M. Stallman <rms@gnu.org>
date Sun, 30 Jul 1995 07:07:39 +0000
parents 1d30a1c68e44
children 5a333a8e0ee1
line wrap: on
line diff