deis/deis — pull request #1074 by carmstrong (2014-05-30 18:24:10+00:00)
Title: docs(*): document DEIS_NUM_ROUTERS

We added DEIS_NUM_ROUTERS but didn't document it.