]> git.saurik.com Git - wxWidgets.git/history - utils/HelpHTML/striphelpids
don't leave pixels due to rounding errors in wxBoxSizer, allocate the extra pixels...
[wxWidgets.git] / utils / HelpHTML / striphelpids
1999-03-05  Karsten BallüderUtility scripts for external HTML help controller.