Viewing all changes in revision 1172.
- Committer: Jiri Srba
- Date: 2022-06-03 19:56:07 UTC
- Revision ID: srba@cs.aau.dk-20220603195607-ddpd110e96tocei6
merged in a fix for resting LTL queries
- files modified:
- src/pipe/gui/widgets/QueryDialog.java
expand all
collapse all
added
removed
