diff config.bat @ 21289:1c0712c77155

Fix header line.
author Dave Love <fx@gnu.org>
date Wed, 25 Mar 1998 19:16:31 +0000
parents ff0f79a7b8b6
children 4c2b38ea02fe
line wrap: on
line diff