aboutsummaryrefslogtreecommitdiff
path: root/stdlib
diff options
context:
space:
mode:
authorEduardo Julian2017-09-07 18:02:23 -0400
committerEduardo Julian2017-09-07 18:02:23 -0400
commit2697c570707ffa379225b6112b09fdec654eb0c8 (patch)
tree29ec3aa21c17d65eb081e0cb011a88e405175234 /stdlib
parent15fdd08d7224442bca86a3d4d154b7f65bf019ef (diff)
- Replaced the term "total" with "exhaustive".
Diffstat (limited to 'stdlib')
0 files changed, 0 insertions, 0 deletions