commit | 129f57bc51c129babdb96e12ef1f0e0bc47aa582 | [log] [tgz] |
---|---|---|
author | Andrew Svetlov <andrew.svetlov@gmail.com> | Thu Nov 01 21:48:16 2012 +0200 |
committer | Andrew Svetlov <andrew.svetlov@gmail.com> | Thu Nov 01 21:48:16 2012 +0200 |
tree | a07792dff3f748325b7246b96cc95199401c26ee | |
parent | 7c91dbec0ed16b2dba8ce5d923015e821333b673 [diff] | |
parent | 5bb420761fc72f9a58461ff2c294c82fe990f0fa [diff] |
Merge: Reword set docs to use *proper subset/superset* terminology.