New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add git commit hash to RND output #132

Merged

ndw merged 1 commit into docbook:master from ndw:rnd

Oct 31, 2019

Contributor

ndw commented Oct 31, 2019

This will allow the generated documentation to precisely identify which version was used to build it.


          Add git commit hash to RND output

9995ff6

ndw merged commit 9a36eb2 into docbook:master

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment