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


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


 </reference>




 <index />


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


</book>