Viewing all changes in revision 1066.
- Committer: Jiri Srba
- Date: 2020-07-10 08:56:38 UTC
- mfrom: (1065.1.1 update-versioncheckurl)
- Revision ID: srba.jiri@gmail.com-20200710085638-sqse7zdrkeo8uv28
merged in lp:~yrke/tapaal/update-versioncheckurl fixing URL to version check
- files modified:
- src/pipe/gui/VersionChecker.java
expand all
collapse all
added
removed
