-
Committer:
srba.jiri at gmail
-
Date:
2021-07-07 12:02:50 UTC
-
mfrom:
(233.1.63 update-parser)
-
Revision ID:
srba.jiri@gmail.com-20210707120250-f86fv0m9ycbge3qs
merged in lp:~tapaal-contributor/verifypn/update-parser improving CPN unfodling and refactoring the code, fixing parser