Select Git revision
Can be used to build docs and directly open them in the users default web-browser: ./Documentation/build-docs.sh --open
Can be used to build docs and directly open them in the users default web-browser: ./Documentation/build-docs.sh --open