Viewing all changes in revision 1074.
- Committer: srba.jiri at gmail
- Date: 2020-08-04 08:13:19 UTC
- mfrom: (1067.4.14 removeSpecialBatchLoading)
- Revision ID: srba.jiri@gmail.com-20200804081319-2h2kff4ljes1tpn1
merged in lp:~yrke/tapaal/removeSpecialBatchLoading removing special loading of nets in batch processing
- files modified:
- src/dk/aau/cs/gui/BatchProcessingDialog.java
expand all
collapse all
added
removed
