diff options
author | Sven Gothel <[email protected]> | 2015-07-13 13:43:09 +0200 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2015-07-13 13:43:09 +0200 |
commit | ad79a9b81e6539b44a957a8e9921682915748552 (patch) | |
tree | d1fd417f89e7ae18e4a05ecab850c852dd44b34e /jenkins-server-slave-setup/git | |
parent | e06d21b3268b1fe7d673ff904c5f7eed3507b605 (diff) |
OSX 10.10 Java6: Borrow JNI headers from jdk1.7.0_80, since Java6* doesn't provide them
* java_for_os_x_2013005_dp__11m4609.dmg
Diffstat (limited to 'jenkins-server-slave-setup/git')
0 files changed, 0 insertions, 0 deletions