diff options
| author | Eduardo Julian | 2019-09-17 21:51:05 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-09-17 21:51:05 -0400 |
| commit | f0a95ee657fef968df1f5f88dc741256e1153e63 (patch) | |
| tree | 539e0d1b8b70f8eba4e2905e1ba8da00fc7e3bf5 /new-luxc/source/luxc/lang/translation/jvm/extension/host.lux | |
| parent | 4049370ec0d0bec578b8fcb83700d020e81386c4 (diff) | |
Some refactoring.
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/source/luxc/lang/translation/jvm/extension/host.lux (renamed from new-luxc/source/luxc/lang/translation/jvm/procedure/host.lux) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm/procedure/host.lux b/new-luxc/source/luxc/lang/translation/jvm/extension/host.lux index ca6e31bfd..ca6e31bfd 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/procedure/host.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/extension/host.lux |