← Back to branch summary

~verifypn-maintainers/verifypn/u2.2

Viewing all changes in revision 194.

  • Committer: Jiri Srba
  • Date: 2018-01-13 20:49:50 UTC
  • Revision ID: srba@cs.aau.dk-20180113204950-ud5d8rziz9sdqi34
changed version number to 2.2.0 and copyright to 2018

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: