comparison stream/pnm.h @ 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 0f1b5b68af32
children
comparison
equal deleted inserted replaced
33308:0c2f2368a031 33309:733376438418