~tapaal-contributor/tapaal/pnml-disable-buttons-1868535

Viewing all changes in revision 1035.

  • Committer: Jiri Srba
  • Date: 2020-02-03 12:03:39 UTC
  • mfrom: (1032.3.1 tapaal)
  • Revision ID: srba.jiri@gmail.com-20200203120339-1d6uitsp3jnxhq0b
merged in lp:~yrke/tapaal/updatedVersionCheckURL with new URL for version check

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: