diff options
author | Eduardo Julian | 2017-09-07 18:02:23 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-09-07 18:02:23 -0400 |
commit | 2697c570707ffa379225b6112b09fdec654eb0c8 (patch) | |
tree | 29ec3aa21c17d65eb081e0cb011a88e405175234 /new-luxc/source/luxc/generator/host/jvm/def.lux | |
parent | 15fdd08d7224442bca86a3d4d154b7f65bf019ef (diff) |
- Replaced the term "total" with "exhaustive".
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions