`java_library`: output JNI headers generated by `javac`#2525

Closed

chrisnovakovic wants to merge 1 commit intothought-machine:masterfrom

chrisnovakovic:java_library-jni-headers

Commits on Aug 8, 2022

`java_library`: output JNI headers generated by `javac`
chrisnovakovic
committed