pulp/pulp — pull request #1139 by bmbouter (2014-08-28 19:15:04+00:00)
Title: Updates dev guide meaning of the latest builder for RTDs

This update makes the dev docs consistent with the RTD builders adjustment we made recently.