commit | e0614327ffbae71ba71202015f23047b0c523c72 | [log] [tgz] |
---|---|---|
author | Andrew Svetlov <andrew.svetlov@gmail.com> | Thu Nov 01 21:48:34 2012 +0200 |
committer | Andrew Svetlov <andrew.svetlov@gmail.com> | Thu Nov 01 21:48:34 2012 +0200 |
tree | 11dbbd89e8d2a2a8748438c68c540833503d6289 | |
parent | 553408fe081a64769ce702096bbcd82c7d4c43bf [diff] | |
parent | 129f57bc51c129babdb96e12ef1f0e0bc47aa582 [diff] |
Merge: Reword set docs to use *proper subset/superset* terminology.