tweaked previous merge (refs #1103)
authorFabien Potencier <fabien.potencier@gmail.com>
Sat, 25 May 2013 15:56:39 +0000 (17:56 +0200)
committerFabien Potencier <fabien.potencier@gmail.com>
Sat, 25 May 2013 15:56:42 +0000 (17:56 +0200)
commitb081e3f1ed64b8246bfcadef3e66233ab2c0ffd9
treedf7c724980ce1df19722890fe5e20af5397f4eb1
parent6726e601557648f464df1e34b9d143a57e152b98
tweaked previous merge (refs #1103)
doc/tags/set.rst