Viewing all changes in revision 245.
- Committer: srba.jiri at gmail
- Date: 2021-07-18 12:40:17 UTC
- mfrom: (243.1.4 Fix-partitioning-1934103)
- Revision ID: srba.jiri@gmail.com-20210718124017-xw8z4h3dzupsopur
merged in lp:~tapaal-contributor/verifypn/Fix-partitioning-1934103 fixing issue with unfolding
expand all
collapse all
added
removed
