diff admin/build-configs @ 88852:9a7268b7a742

(SYNTAX_ENTRY_INT): Don't use make_number.
author Dave Love <fx@gnu.org>
date Tue, 16 Jul 2002 14:58:26 +0000
parents 0f6e6a0405c4
children 23a1cea22d13
line wrap: on
line diff