diff options
| author | krangelov <kr.angelov@gmail.com> | 2019-03-19 11:21:39 +0100 |
|---|---|---|
| committer | krangelov <kr.angelov@gmail.com> | 2019-03-19 11:21:39 +0100 |
| commit | f3d7d55752b5edce489f6f31c6001bc1c754150e (patch) | |
| tree | 7331dc1b963dcd3a8392d9937be987b2b67919ad /src/compiler/GF/Compiler.hs | |
| parent | 52f2739da1c583b7ded38b859388bc067b9485ee (diff) | |
added one more possible location for Java headers
Diffstat (limited to 'src/compiler/GF/Compiler.hs')
0 files changed, 0 insertions, 0 deletions