Merge pull request #144 from hunner/ppa_proxy
authorHunter Haugen <h.haugen@gmail.com>
Fri, 12 Jul 2013 00:03:31 +0000 (17:03 -0700)
committerHunter Haugen <h.haugen@gmail.com>
Fri, 12 Jul 2013 00:03:31 +0000 (17:03 -0700)
Ppa proxy


Trivial merge