Code review comment for lp:~tapaal-contributor/tapaal/add-export-options

Lena Said (lsaid) wrote :

Fixed code styling and naming of elements in the UI. Also changed the way the queries are saved, so each query gets a query file

review: Needs Resubmitting

« Back to merge proposal