Ondřej Nový 600ff8bfe6 Allow to build docs without git command ...

Change-Id: If9177436c116f398e5956f2918d097c621c97157

2016-11-23 19:20:49 +00:00

..

source

Allow to build docs without git command

2016-11-23 19:20:49 +00:00