TAPAAL

Code review comment for lp:~tapaal-contributor/tapaal/places-with-same-name-shared-1801728

  1. places-with-same-name-shared-1801728
  2. Merge into trunk
Revision history for this message
Peter Haahr Taankvist (ptaank) wrote :

Changed the dialog to ok/cancel and changed the message

review: Needs Resubmitting

« Back to merge proposal