~tapaal-contributor/tapaal/Gui-freeze-1896457

Viewing all changes in revision 1098.

  • Committer: srba.jiri at gmail
  • Date: 2020-09-11 14:37:53 UTC
  • Revision ID: srba.jiri@gmail.com-20200911143753-oipovz7hz4wkiuxv
updated minimum version of verifypn to 3.1.0

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: