patch #7494
commitc4bd89b1d08f33b6cec24212cedeb7cc9519d994
authorspiralvoice <spiralvoice>
Thu, 10 Mar 2011 19:17:00 +0000 (10 19:17 +0000)
committerspiralvoice <spiralvoice>
Thu, 10 Mar 2011 19:17:00 +0000 (10 19:17 +0000)
tree9d979a6e240ef2530996722478e5f3239dfbe3eb
parentd514f442194e7743637fc2bea81e85e52fc43ce9
patch #7494
distrib/ChangeLog
src/gtk2/gui/guiMain.ml