TAPAAL

Code review comment for lp:~tapaal-contributor/tapaal/tapn-ending-for-files-686545

  1. tapn-ending-for-files-686545
  2. Merge into trunk
Revision history for this message
Peter Haahr Taankvist (ptaank) wrote :

If the opened file ends on pnml it is now properly renamed to end on tapn instead when saving.

review: Needs Resubmitting

« Back to merge proposal