mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
Mark Craig
14.18.2012 f6028b054129fc461da07a8b80d0fb758b256bcd 
 opendj3/src/main/docbkx/dev-guide/index.xml


@@ -86,5 +86,4 @@


 </reference>




 <index />


 <?dbhtml-include href="../ga.html"?>


</book>