Viewing all changes in revision 990.
- Committer: srba.jiri at gmail
- Date: 2019-03-13 08:15:04 UTC
- mfrom: (977.3.2 remove-staticIgnoreSelect)
- Revision ID: srba.jiri@gmail.com-20190313081504-t5dg68d0mouyuf02
merged in branch lp:~yrke/tapaal/remove-staticIgnoreSelect that changes the behaviour of the export feature (exports also animator configuration, selected transitions etc)
- files modified:
- src/pipe/gui/Export.java
expand all
collapse all
added
removed
