deis/deis — pull request #978 by carmstrong (2014-05-15 20:43:04+00:00)
Title: docs(*): update docs for local3.deisapp.com, local5.deisapp.com

We've created the convenience records for local3.deisapp.com and
local5.deisapp.com, so local clusters no longer have to manage
DNS whatsoever.

closes #747