diff agent/src/scripts/start-debug-server64.sh @ 18623:8bf798e8cf11

OM: remember transition from parent and walk transitions instead of properties in replaceProperty,removeProperty
author Andreas Woess <andreas.woess@jku.at>
date Thu, 04 Dec 2014 18:08:22 +0100
parents c18cbe5936b8
children
line wrap: on
line diff