diff make-dist @ 52087:69b82fff305b

(CFLAGS) [!OPTIMIZE]: Undo previous change.
author Richard M. Stallman <rms@gnu.org>
date Wed, 30 Jul 2003 19:21:58 +0000
parents 23a1cea22d13
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff