Joeri Exelmans 9a65f34293 Entering a history state whose parent hasn't been exited before should exit the parent's default state. hace 5 años
..
day_atlee af62dc077c Various small fixes hace 5 años
features 9a65f34293 Entering a history state whose parent hasn't been exited before should exit the parent's default state. hace 5 años
semantics af62dc077c Various small fixes hace 5 años
xml_syntax af62dc077c Various small fixes hace 5 años
UNTESTED 9a65f34293 Entering a history state whose parent hasn't been exited before should exit the parent's default state. hace 5 años