diff Gui/config.h @ 1742:0880718750d5

fix signalhandling
author pontscho
date Wed, 29 Aug 2001 13:52:08 +0000
parents d237c5d4b216
children
line wrap: on
line diff