Branches

• issue-4-gitlab_url

  0e267db6 · Merge remote-tracking branch 'origin/master' into issue-4-gitlab_url · Aug 07, 2014
• improve_makefile

  2ef8deb8 · Execute commands via the current user instead of git user · Aug 07, 2014