← Back to branch summary

~verifypn-maintainers/verifypn/u1.0

Viewing all changes in revision 40.

  • Committer: Jiri Srba
  • Date: 2013-10-21 09:24:49 UTC
  • Revision ID: srba@cs.aau.dk-20131021092449-eirel2v4kdmca4mx
corrected a typo in README file

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: