Viewing all changes in revision 1147.
- Committer: Jiri Srba
- Date: 2021-09-30 09:23:54 UTC
- mfrom: (1137.7.4 undo-disable-buttons-1940403)
- Revision ID: srba.jiri@gmail.com-20210930092354-wkq8vubwj5z1ebxb
merged in lp:~tapaal-contributor/tapaal/undo-disable-buttons-1940415 fixing a problem with eenabledness of buttons in constant panel when doing undo/redo
expand all
collapse all
added
removed
