diff build/linux2-config-dist.py @ 50:9d0a21184c13

fix for editor, gui event consumption was not checked properly
author jasoka@33b003aa-7bff-0310-803a-e67f0ece8222
date Sun, 13 Jul 2008 13:14:04 +0000
parents 4a0efb7baf70
children b49714fff478
line wrap: on
line diff