Closed mtygesen closed 1 month ago
Fixes: https://bugs.launchpad.net/tapaal/+bug/1887759
Also changed command abstract class to interface
Fixes: https://bugs.launchpad.net/tapaal/+bug/1887759
Also changed command abstract class to interface