comparison TOOLS/mphelp_check.py @ 34318:6fd8caca0f9c

Revise skin documentation on GUI messages. Rearrange and group messages, add missing ones and remove non-existing ones.
author ib
date Thu, 08 Dec 2011 15:39:49 +0000
parents 9065db6f98d9
children 8715803f09e8
comparison
equal deleted inserted replaced
34317:e905a896243d 34318:6fd8caca0f9c