Viewing all changes in revision 940.
- Committer: Jiri Srba
- Date: 2017-05-23 08:16:55 UTC
- mfrom: (939.1.2 rapid-drawing)
- Revision ID: srba.jiri@gmail.com-20170523081655-kvise51r0fm9cs75
merged in branch lp:~tapaal-contributor/tapaal/rapid-drawing-fix-810906
for fast drawing of place and transitions when ctl key is hold pressed
for fast drawing of place and transitions when ctl key is hold pressed
expand all
collapse all
added
removed
