Fix for COMMWEB-47: Double-clicking to select console output in Docs does n...

Mark Craig

16.03.2012 acb5fd0e28d880c79bdbcc2fdba84e6fa89d50dd

1
2
DocBook XML source for OpenDJ core user documentation. Java API and
configuration reference documentation is generated from OpenDJ source code.