diff options
author | Eduardo Julian | 2022-07-08 17:47:23 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-07-08 17:47:23 -0400 |
commit | 7976268575e7c6910dfba2d2733e8cc1883678e7 (patch) | |
tree | 0ce156081612235c0df5e2ad9167be3fc5d75c6c /lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux | |
parent | 39325bb36c6f6459c861ef12f9e99b9e66b52594 (diff) |
Re-named the "documentation" macro to "definition".
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux')
0 files changed, 0 insertions, 0 deletions