diff config.bat @ 35174:96c7c0a356aa

(push_message_unwind): New function.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 09 Jan 2001 13:45:38 +0000
parents 6722a8132e56
children 6fd0d497fc9c
line wrap: on
line diff