-
Committer:
Jiri Srba
-
Date:
2018-02-15 11:27:08 UTC
-
mfrom:
(949.1.4 tapaal)
-
Revision ID:
srba.jiri@gmail.com-20180215112708-2zw3kutesa3pcf8v
merged in branch lp:~tapaal-contributor/tapaal/partial-order that
adds stubborn set option to batch processing