diff options
| author | Thomas Hallgren <hallgren@chalmers.se> | 2017-08-11 15:09:28 +0200 |
|---|---|---|
| committer | Thomas Hallgren <hallgren@chalmers.se> | 2017-08-11 15:09:28 +0200 |
| commit | 9a39476e5a1a032a265358fac2973ecd3d42be12 (patch) | |
| tree | 87dddfb4635bf65d94849754a419c8f7698c1750 /src/runtime/java/org/grammaticalframework | |
| parent | a0e7e3bf83d492782e8d87180dfd892115b09899 (diff) | |
src/runtime/java/Makefile: fixes to find jni.h and jni_md.h in more cases
Diffstat (limited to 'src/runtime/java/org/grammaticalframework')
0 files changed, 0 insertions, 0 deletions