~tapaal-developers/tapaal/trunk

Viewing all changes in revision 1172.

merged in lp:~tapaal-contributor/tapaal/save-file-browser-location fixing the remembering of the last location for opening a file

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: