rultor/rultor — pull request #452 by krzyk (2013-12-24 12:01:52+00:00)
Title: #169 enabled merging of user settings

Enabling of user settings merging allows using user mirrors and proxies.