diff options
| author | krangelov <kr.angelov@gmail.com> | 2019-02-18 11:23:01 +0100 |
|---|---|---|
| committer | krangelov <kr.angelov@gmail.com> | 2019-02-18 11:23:01 +0100 |
| commit | c32cd7133f0e2e370998ed8ca863133133dfde57 (patch) | |
| tree | 674ef8ec85daa7d0e2008df51ae2c65a066b5ea4 /src/runtime/java/INSTALL | |
| parent | 409731413e96a8056ca94a1ec6583f4f61bc6144 (diff) | |
fixes in the headers for compilation on Windows
Diffstat (limited to 'src/runtime/java/INSTALL')
0 files changed, 0 insertions, 0 deletions
