diff options
| author | Eduardo Julian | 2019-04-16 20:53:41 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-04-16 20:53:41 -0400 |
| commit | 697707d8560a5735be38fd9b1ff91a02c289d48f (patch) | |
| tree | 7f9e81974c9ec3ede82e7f2392ebba037e3e9df8 /new-luxc/source/luxc/lang/translation/jvm/case.lux | |
| parent | 42248854f0cb5e3364e6aae25527cee65cbda3e8 (diff) | |
Made some new-luxc modules "old".
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/source/luxc/lang/translation/jvm/case.lux (renamed from new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/case.lux index 43d11c71e..43d11c71e 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/case.lux |