Skip to content

travis-build.sh: Do not overwrite $MAVEN_OPTS, but extend#28

Merged
ctrueden merged 1 commit intoscijava:masterfrom
skalarproduktraum:dont-overwrite-maven-opts
Feb 25, 2019
Merged

travis-build.sh: Do not overwrite $MAVEN_OPTS, but extend#28
ctrueden merged 1 commit intoscijava:masterfrom
skalarproduktraum:dont-overwrite-maven-opts

Commits

Commits on Feb 25, 2019