comparison config.bat @ 9351:e3303c64b684

(make_hdr): Undo June 16 change.
author Richard M. Stallman <rms@gnu.org>
date Thu, 06 Oct 1994 03:25:51 +0000
parents de6995fec29e
children 9eae919f9a23
comparison
equal deleted inserted replaced
9350:85b9cce28fd3 9351:e3303c64b684