diff options
author | Eduardo Julian | 2017-11-15 22:04:44 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-11-15 22:04:44 -0400 |
commit | 53ccae1625d46cf57247b9fb1cb9f4c28b0a0ad4 (patch) | |
tree | 84154fb7a50286cd64a919c8698581c9260ff09d /new-luxc/source/luxc/lang/translation/procedure/common.jvm.lux | |
parent | 360c8f0cd43452d4a47cdd2002625143b96df6c8 (diff) |
- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions