Cross-file j2d/refs#1

chrismwendt wants to merge 1 commit into

masterscip-code/scip-java:masterfrom

cross-file-j2dscip-code/scip-java:cross-file-j2dCopy head branch name to clipboard