diff options
| author | davidovski <david@davidovski.xyz> | 2022-02-16 22:08:20 +0000 |
|---|---|---|
| committer | davidovski <david@davidovski.xyz> | 2022-02-16 22:08:20 +0000 |
| commit | 1bb2575cdea0ec9bddd63eb668feb699c1226c3c (patch) | |
| tree | 63ad994565b432516cefce77f62e8a22263d13b7 /src/tools/default-jvm.sh | |
| parent | d3093d4d72283019226ab0f8f76de520a0509e2a (diff) | |
removed a debug print
Diffstat (limited to 'src/tools/default-jvm.sh')
0 files changed, 0 insertions, 0 deletions