diff configure @ 42147:b8d77bc6ce4d

Note that src/Makefile.in needs changes if DONTCOMPILE is modified.
author Eli Zaretskii <eliz@gnu.org>
date Tue, 18 Dec 2001 17:39:27 +0000
parents 835df8cf4ef5
children b04a7400fcb8
line wrap: on
line diff