diff options
| author | Eduardo Julian | 2018-07-11 19:54:39 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-11 19:54:39 -0400 |
| commit | 18e1b3355e9bc7dfe3152416fe6ad4e3fe415af9 (patch) | |
| tree | b93081e7b258557628b1bfba3280d377198f0059 /new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux | |
| parent | fdfd7036806fe62ffaf054b61fbf16bbfb002b7c (diff) | |
- Re-named "type-of" to ":of".
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions