Reinhard Pointner 90b8a7be2d * short-hand for calling master and head branches from github repo		2013-11-29 17:36:12 +00:00
..
sourceforge	* short-hand for calling master and head branches from github repo	2013-11-29 17:36:12 +00:00