google/grr — pull request #57 by pidydx (2014-11-10 21:59:02+00:00)
Title: Config option definition consolidation

Consolidating config definitions into config/server.py for consistency.