diff options
author | Eduardo Julian | 2018-06-14 22:23:28 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-06-14 22:23:28 -0400 |
commit | 0190e084c6f44be32ea2bc5a89ef55b52bdc789b (patch) | |
tree | 3307f7ee3bfd189d089803f45bc5d6e80ec94d47 /new-luxc/source/luxc/lang/translation/php/procedure/common.jvm.lux | |
parent | 42932540093a368cf9d402a9fe27ecf4948b37ee (diff) |
- Re-named "Special" to "Extension".
Diffstat (limited to 'new-luxc/source/luxc/lang/translation/php/procedure/common.jvm.lux')
0 files changed, 0 insertions, 0 deletions