Viewing all changes in revision 1115.
- Committer: Jiri Srba
- Date: 2020-12-16 08:38:28 UTC
- Revision ID: srba@cs.aau.dk-20201216083828-wwucqt2eo0yzgo2f
fixed a tooltip for batch export menu item
- files modified:
- src/pipe/gui/GuiFrame.java
expand all
collapse all
added
removed
