K 10 svn:author V 2 wg K 8 svn:date V 27 2013-06-11T12:18:36.311701Z K 7 svn:log V 139 - Add USE_GITHUB instead of manual fetch - Trim Makefile header Approved by: culot / jpaetzel (mentors, implicit), maintainer (via email) END