diff config.bat @ 8870:1ac291531d73

(parsing options): Simplify sed command to delete -'s.
author Richard M. Stallman <rms@gnu.org>
date Sun, 18 Sep 1994 08:19:12 +0000
parents de6995fec29e
children 9eae919f9a23
line wrap: on
line diff