diff config.bat @ 7632:8abb5c77cc2a

(HAVE_GETTIMEOFDAY, HAVE_MKDIR, HAVE_RMDIR) (HAVE_XSCREENNUMBEROFSCREEN): Define these if not already defined.
author Richard M. Stallman <rms@gnu.org>
date Sun, 22 May 1994 20:17:29 +0000
parents 41a42a288277
children de6995fec29e
line wrap: on
line diff