← Back to branch summary

~tapaal-contributor/tapaal/save-file-browser-location-3.9

Viewing all changes in revision 1169.

  • Committer: Jiri Srba
  • Date: 2022-05-24 20:21:01 UTC
  • Revision ID: srba@cs.aau.dk-20220524202101-6kkplskqc39z3k7u
merged in src/pipe/gui/widgets/QueryDialog.java fixing problem with and and or in query dialog

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: