Viewing all changes in revision 1024.
- Committer: Jiri Srba
- Date: 2019-10-31 10:55:27 UTC
- mfrom: (1018.4.1 tapaal)
- Revision ID: srba.jiri@gmail.com-20191031105527-u42nauurf8ks1eas
merged in lp:~tapaal-contributor/tapaal/label-shifting-when-zooming-1849782 fixing position of labels when zooming
expand all
collapse all
added
removed
