GraphStream

2020-05-06 20:24:37 +02:00
parent acf8004497
commit 8d6d91e562
21 changed files with 357 additions and 81 deletions
--- a/2
+++ b/2
@ -5,7 +5,7 @@ pipeline {
        VERSION = VersionNumber([
            versionNumberString:
                '${BUILDS_ALL_TIME}',
-            versionPrefix: '1.0.',
+            versionPrefix: '1.1.',
            worstResultForIncrement: 'SUCCESS'
        ])
    }