tree 7b156631a09cdecaa0447aed1e4c1f9bcca2bbe8
parent 713f30551c3b5b2d99a023d48a930475e1002c21
parent fbc7a7dd5fa61486610cf11c09e0007f2900a3e1
author James Moger <james.moger@gitblit.com> 1417638093 -0600
committer James Moger <james.moger@gitblit.com> 1417638093 -0600

Merged #228 "Add support for configurable HTTP proxy host/port in PluginManager.java"