-
Daniel Ratiu authored
fixing the issue for state automata - now state-automata can be safely deleted when their editor is open refs 921
b2385f7f
fixing the issue for state automata - now state-automata can be safely deleted when their editor is open refs 921