diff debian/copyright @ 33264:284fc94290b9

Replace all GUI exits by guiExit().
author ib
date Tue, 03 May 2011 12:21:11 +0000
parents 85f0d7406e07
children f2b81cd25817
line wrap: on
line diff