← Back to branch summary

~tapaal-contributor/tapaal/cpn-gui-dev

Viewing all changes in revision 1392.

  • Committer: tpede16 at aau
  • Date: 2021-07-30 13:17:22 UTC
  • Revision ID: tpede16@student.aau.dk-20210730131722-uyj604skaax5noe5
Pass on options to unfolded queries and handle trace not found

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: