Jenkins 3afabf816b Merge "Fix doc build if git is absent"		2016-04-20 17:03:54 +00:00
..
source	Merge "Fix doc build if git is absent"	2016-04-20 17:03:54 +00:00