diff options
author | Eduardo Julian | 2018-07-03 20:01:54 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-07-03 20:01:54 -0400 |
commit | c75e8aa8bc84af3b598292f3261354384b3cc80f (patch) | |
tree | 6cc75dc05da0fda3fe113fc70bb09d749dfed876 /new-luxc/source/luxc/lang/translation.lux | |
parent | 56b20b2c3e96f983490c0dbde95634e06fbdf73c (diff) |
- Re-named "Ref" to "Refined".
Diffstat (limited to 'new-luxc/source/luxc/lang/translation.lux')
0 files changed, 0 insertions, 0 deletions