Use HTTP protocol instead of GIT #28

Merged
merged 1 commit into from Sep 19, 2012
Commits on Sep 19, 2012
  1. @holiveros

    Use HTTP protocol instead of GIT

    holiveros committed Sep 19, 2012
    Use HTTP protocol instead of GIT, due to HTTP being easier on proxies.