Revert "search index function"

This reverts commit 64f273a6ae.
This commit is contained in:
2020-06-29 13:58:09 +02:00
parent 7c95a0758f
commit 482cebe73a
4 changed files with 23 additions and 130 deletions

2
Jenkinsfile vendored

@@ -5,7 +5,7 @@ pipeline {
VERSION = VersionNumber([
versionNumberString:
'${BUILDS_ALL_TIME}',
versionPrefix: '1.6.',
versionPrefix: '1.5.',
worstResultForIncrement: 'SUCCESS'
])
}