Øyvind Kolås 6d1f697bc4 state: automatically remove unused states
When there is no further keys with a state as the target state, remove
the state (and all transitions that used this state as a target)
2010-07-06 14:14:34 +01:00
..
2010-02-12 14:57:56 +00:00
2010-02-16 12:19:15 +00:00