Viewing all changes in revision 1138.
- Committer: srba.jiri at gmail
- Date: 2021-09-11 15:41:52 UTC
- mfrom: (1137.1.2 copy-error-messages)
- Revision ID: srba.jiri@gmail.com-20210911154152-o0ox43qqustjg1a8
merged in lp:~tapaal-contributor/tapaal/copy-from-messages allowing to copy/paste from error messages
- files modified:
- src/pipe/gui/MessengerImpl.java
expand all
collapse all
added
removed
