Viewing all changes in revision 972.
- Committer: Jiri Srba
- Date: 2018-08-13 08:33:43 UTC
- mfrom: (965.6.7 tapn-ending-for-files-686545)
- Revision ID: srba.jiri@gmail.com-20180813083343-8a5mjunmmmo5blgi
merged in branch lp:~tapaal-contributor/tapaal/tapn-ending-for-files-686545 changing standard ending of TAPAAL file to .tapn
- files modified:
- src/dk/aau/cs/gui/BatchProcessingDialog.java
expand all
collapse all
added
removed
