~tapaal-contributor/tapaal/raw-query-output

Viewing all changes in revision 1114.

  • Committer: lsaid
  • Date: 2020-12-16 21:11:57 UTC
  • Revision ID: lena.said@hotmail.com-20201216211157-pyabnczqoc8a2igd
Added a raw query output option to verification dialog

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: