← Back to branch summary

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

« back to all changes in this revision

Viewing changes to src/pipe/gui/Pipe.java

  • 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

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/Pipe.java
79
79
        public static final String verifytaMinRev = "4.1.19";
80
80
        public static final String verifytapnMinRev = "1.3.0";
81
81
        public static final String verifydtapnMinRev = "3.4.0";
82
 
        public static final String verifypnMinRev = "3.0.2";
 
82
        public static final String verifypnMinRev = "3.1.0";
83
83
        public static final int AGE_DECIMAL_PRECISION = 5;
84
84
        public static final int AGE_PRECISION = AGE_DECIMAL_PRECISION + 4;
85
85