diff config.bat @ 20047:735f0cdfc5b9

(winner-change-fun): Don't use pushnew.
author Karl Heuer <kwzh@gnu.org>
date Wed, 15 Oct 1997 22:41:09 +0000
parents 3f6f67f86a48
children ff0f79a7b8b6
line wrap: on
line diff