mirror of
https://github.com/corda/corda.git
synced 2025-01-30 08:04:16 +00:00
RELEASE: swap version number around
Was corda-3.1 now it's 3.1-corda should work better with external tools
This commit is contained in:
parent
de13c9030c
commit
b158102b10
@ -4,7 +4,7 @@ buildscript {
|
||||
file("$projectDir/constants.properties").withInputStream { constants.load(it) }
|
||||
|
||||
// Our version: bump this on release.
|
||||
ext.corda_release_version = "corda-3.1-RC01"
|
||||
ext.corda_release_version = "3.1-corda-RC01"
|
||||
|
||||
// Increment this on any release that changes public APIs anywhere in the Corda platform
|
||||
ext.corda_platform_version = constants.getProperty("platformVersion")
|
||||
|
Loading…
x
Reference in New Issue
Block a user