diff options
author | Eduardo Julian | 2018-07-03 19:49:04 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-07-03 19:49:04 -0400 |
commit | aac5a7796939cd705d955acb616cbff38474606d (patch) | |
tree | 567f60f65afb2a94299336a72ea105f00a16b63d /new-luxc/source/luxc/lang/translation/jvm/runtime.jvm.lux | |
parent | d3f5e1f4baa667bc2eb72edd542cf5d8cd3924ce (diff) |
- Re-named "@abstraction" to ":abstraction" and "@representation" to ":representation".
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions