Viewing all changes in revision 991.
- Committer: srba.jiri at gmail
- Date: 2019-03-13 08:30:09 UTC
- mfrom: (975.5.2 removedUnusedFieldsFromXML)
- Revision ID: srba.jiri@gmail.com-20190313083009-lta1rcyteit9goes
merged in branch lp:~yrke/tapaal/removedUnusedFieldsFromXML that removes unused offset fields for intial marking from XML and PNML input formats
- files modified:
- src/dk/aau/cs/io/PNMLWriter.java
expand all
collapse all
added
removed
