mongodb/docs — pull request #1742 by TimSlavinMongoDB (2014-04-23 17:07:19+00:00)
Title: fix all references to settings to point to new names

DOCS-3077