Viewing all changes in revision 1013.
- Committer: Jiri Srba
- Date: 2019-08-23 08:51:28 UTC
- mfrom: (1012.1.2 tapaal)
- Revision ID: srba.jiri@gmail.com-20190823085128-ge1pisaokuw2jtuq
GUI label undo merged lp:~tapaal-contributor/tapaal/undo-namelabel-movement-1834783
expand all
collapse all
added
removed
