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 /stdlib | |
| parent | 15fdd08d7224442bca86a3d4d154b7f65bf019ef (diff) | |
- Replaced the term "total" with "exhaustive".
Diffstat (limited to 'stdlib')
0 files changed, 0 insertions, 0 deletions