patch #7252
commitc6574a4923fae17e216a77eef999cf9b81d640e3
authorspiralvoice <spiralvoice>
Sun, 18 Jul 2010 14:52:42 +0000 (18 14:52 +0000)
committerspiralvoice <spiralvoice>
Sun, 18 Jul 2010 14:52:42 +0000 (18 14:52 +0000)
tree73a9ce99e0fbfaa302e7ce718a12f4495bf94050
parente6386049f0c2b9cbd2f61726b42d7b575210faa3
patch #7252
distrib/ChangeLog
src/gtk2/gui/guiTemplates.mli
src/gtk2/gui/guiTools.mli