mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 292e7a8e | patch | commit | ignore whitespace
lfrost
25.29.2008 e9084fe4fd23ebd9856e3ce64ca7ca69964d9cc9 
Reword general description as per Jean McVey's editorial review.
1 files modified
3 ■■■■■ changed files
opends/src/server/org/opends/server/admin/doc/ConfigGuideGeneration.java 3 ●●●●● patch | view | raw | blame | history 
 opends/src/server/org/opends/server/admin/doc/ConfigGuideGeneration.java


@@ -513,8 +513,7 @@




    heading3("Properties");




    paragraph("The links below will jump you down the page to the " +


      "description of a particular property.");


    paragraph("A description of each property follows.");


    newline();




    TreeMap<String, PropertyDefinition> basicProps =