v3.0.x: java: Fix Java devel header build error#6387

Merged

hppritcha merged 1 commit intoopen-mpi:v3.0.xfrom

kawashima-fj:pr/v3.0.x/jni-header

Feb 19, 2019

Commits on Feb 15, 2019

java: cleanup the list of automatically generated header files

ggouaillardet
authored and
kawashima-fj
committed