Merge lp:~yrke/tapaal/fix1883971-save-arcpath-point-coords-error into lp:tapaal
Proposed by
Kenneth Yrke Jørgensen
Status: | Merged |
---|---|
Approved by: | Jiri Srba |
Approved revision: | 1062 |
Merged at revision: | 1063 |
Proposed branch: | lp:~yrke/tapaal/fix1883971-save-arcpath-point-coords-error |
Merge into: | lp:tapaal |
Diff against target: |
57 lines (+10/-11) 2 files modified
src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java (+5/-5) src/pipe/gui/graphicElements/ArcPath.java (+5/-6) |
To merge this branch: | bzr merge lp:~yrke/tapaal/fix1883971-save-arcpath-point-coords-error |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Jiri Srba | Approve | ||
Review via email: mp+385983@code.launchpad.net |
To post a comment you must log in.
It is more convenient if the branch is first named by the intuitive description and the bug id at last.