diff options
| author | Eduardo Julian | 2018-08-20 18:53:24 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-08-20 18:53:24 -0400 |
| commit | bd1523278490c1d07a82ad9deb481ebf29e61fdb (patch) | |
| tree | 589f2c8ceb3bf07e7cb367fe3745797348752007 /new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux | |
| parent | bbf5fb06275b3eef9c9209713e1d667b41d8ec47 (diff) | |
Fixed type in lux-mode.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions