girder/girder — pull request #193 by zachmullen (2014-05-31 18:46:04+00:00)
Title: As discussed, fixes and improvements to our config file system

- All of our config files have been merged into one
- Local config options can now be merged per-key rather than
overriding the whole section, so missing keys in the local
config file will fall back to the value from the dist file.