diff help/help_mp-nb.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 533c658a18da
children 277ec491a8a7
line wrap: on
line diff