comparison Copyright @ 33309:733376438418

Declare parameter type for guiExit() more precisely. This is possible now that guiExit() isn't longer called by guiDone() with parameter DONE.
author ib
date Sat, 07 May 2011 15:58:06 +0000
parents 85f0d7406e07
children c1a590bb2441
comparison
equal deleted inserted replaced
33308:0c2f2368a031 33309:733376438418