equal
deleted
inserted
replaced
27 |
27 |
28 DEFAULT_VERSION_FEATURE=12 |
28 DEFAULT_VERSION_FEATURE=12 |
29 DEFAULT_VERSION_INTERIM=0 |
29 DEFAULT_VERSION_INTERIM=0 |
30 DEFAULT_VERSION_UPDATE=0 |
30 DEFAULT_VERSION_UPDATE=0 |
31 DEFAULT_VERSION_PATCH=0 |
31 DEFAULT_VERSION_PATCH=0 |
|
32 DEFAULT_VERSION_EXTRA1=0 |
|
33 DEFAULT_VERSION_EXTRA2=0 |
|
34 DEFAULT_VERSION_EXTRA3=0 |
32 DEFAULT_VERSION_DATE=2019-03-19 |
35 DEFAULT_VERSION_DATE=2019-03-19 |
33 DEFAULT_VERSION_CLASSFILE_MAJOR=56 # "`$EXPR $DEFAULT_VERSION_FEATURE + 44`" |
36 DEFAULT_VERSION_CLASSFILE_MAJOR=56 # "`$EXPR $DEFAULT_VERSION_FEATURE + 44`" |
34 DEFAULT_VERSION_CLASSFILE_MINOR=0 |
37 DEFAULT_VERSION_CLASSFILE_MINOR=0 |
35 DEFAULT_ACCEPTABLE_BOOT_VERSIONS="10 11 12" |
38 DEFAULT_ACCEPTABLE_BOOT_VERSIONS="10 11 12" |
36 |
39 |