diff config.bat @ 8923:ef81e9d0a532

(config_options): Save all arguments, not just some.
author Karl Heuer <kwzh@gnu.org>
date Mon, 19 Sep 1994 18:15:11 +0000
parents de6995fec29e
children 9eae919f9a23
line wrap: on
line diff