Viewing all changes in revision 1009.
- Committer: Jiri Srba
- Date: 2019-04-29 08:48:28 UTC
- mfrom: (1008.1.1 tapaal)
- Revision ID: srba.jiri@gmail.com-20190429084828-7tpk4etfqjzs3y22
merged in lp:~tapaal-contributor/tapaal/ImpossibleToDeletePlace-1826206 fixing a problem with arc drawing and pressing ctrl-Z
- files modified:
- src/pipe/gui/undo/UndoManager.java
expand all
collapse all
added
removed
