diff options
| author | Wade Walker <[email protected]> | 2018-12-25 09:47:04 -0600 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2019-08-16 23:28:02 +0200 |
| commit | 0e915e519cad5f23dcea1707b894f2b5b869bbf1 (patch) | |
| tree | b3520b6256edc2fd52b94b68818318c887584a8c /make/doc/javadoc/resources/titlebar_end.gif | |
| parent | 4df8c0112b1e6f3236428cd8429d034058a98f6b (diff) | |
Fixed native header generation so it doesn't use javah
The javah command was removed in Java 10, so now native headers must be
generated in javac instead.
Diffstat (limited to 'make/doc/javadoc/resources/titlebar_end.gif')
0 files changed, 0 insertions, 0 deletions