diff options
| author | Eduardo Julian | 2015-07-25 20:19:43 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-07-25 20:19:43 -0400 |
| commit | 4cd9b0c9242f1105e50ad9b42b7f6f5d074f14b4 (patch) | |
| tree | d8828396e3f76e5b5dabb1f530234047ec239794 /source/lux/host/jvm.lux | |
| parent | 6c51e5e50aa98bb26a3e2b34f57a0e24f8537d93 (diff) | |
- The output directory is now being used as the cache.
- "input" has been renamed as "source" and "output" has been renamed as "target".
Diffstat (limited to 'source/lux/host/jvm.lux')
0 files changed, 0 insertions, 0 deletions