comparison stream/tvi_dummy.c @ 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 2802b8095bf7
children
comparison
equal deleted inserted replaced
33308:0c2f2368a031 33309:733376438418