Merge proposals dependent on lp:~yrke/tapaal/placetransitionobjecthandler-refactor

Branch Merge Proposal Status Requested By
lp:~yrke/tapaal/placetransitionobjecthandler-refactor-cleanup ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/removedUnusedFieldsFromXML ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
lp:~yrke/tapaal/DeleteAction-removeselectionmanager-deleteSelection ⇒ lp:tapaal Merged Kenneth Yrke Jørgensen
13 of 3 results