Skip to content

Corrections in DocBook source #1

Merged
merged 2 commits into from Jul 17, 2012

2 participants

@MartinBorg

I did some corrections in the DocBook file. "make lint" is happy now.

@petterreinholdtsen petterreinholdtsen merged commit c31e328 into petterreinholdtsen:master Jul 17, 2012
@petterreinholdtsen
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.