Viewing all changes in revision 1023.
- Committer: Jiri Srba
- Date: 2019-10-31 10:57:00 UTC
- mfrom: (1019.4.1 tapaal)
- Revision ID: srba.jiri@gmail.com-20191031105700-yy057g0m4yy5rutl
merged in lp:~tapaal-contributor/tapaal/label-shifting-when-zooming-1849782 fixing position of labels when zooming
expand all
collapse all
added
removed
