tree 11dbbd89e8d2a2a8748438c68c540833503d6289
parent 553408fe081a64769ce702096bbcd82c7d4c43bf
parent 129f57bc51c129babdb96e12ef1f0e0bc47aa582
author Andrew Svetlov <andrew.svetlov@gmail.com> 1351799314 +0200
committer Andrew Svetlov <andrew.svetlov@gmail.com> 1351799314 +0200
HG:rename-source hg

Merge: Reword set docs to use *proper subset/superset* terminology.