Viewing all changes in revision 956.
- Committer: Jiri Srba
- Date: 2018-04-16 12:18:47 UTC
- mfrom: (952.3.2 select-all-1763193)
- Revision ID: srba.jiri@gmail.com-20180416121847-lt1myxzfsh9a7emd
merged in branch lp:~tapaal-contributor/tapaal/select-all-1763193 enabeling ctrl/cmd-A on all components in focus
expand all
collapse all
added
removed
