Greg Turnquist c64aaacd46 #853 - Fine tune release script to allow ticket number. ...

Resolves: #1043

2019-08-09 16:04:14 -05:00

..

build.sh

#1008 - Set user.name and user.home for CI jobs.

2019-06-27 15:56:38 -05:00

create-release.sh

#853 - Fine tune release script to allow ticket number.

2019-08-09 16:04:14 -05:00

promote-to-bintray.sh

#999 - Backport introduction of Jenkins CI.

2019-06-07 16:47:03 -05:00

sync-to-maven-central.sh

#999 - Backport introduction of Jenkins CI.

2019-06-07 16:47:03 -05:00

test.sh

#1008 - Set user.name and user.home for CI jobs.

2019-06-27 15:56:38 -05:00