Closed LenaSaid closed 2 years ago
Can add successors and predecessors to placeholders.
Solves https://bugs.launchpad.net/tapaal/+bug/1984071.
Can add successors and predecessors to placeholders.
Solves https://bugs.launchpad.net/tapaal/+bug/1984071.