[#2194] Add a glossary to the manual - Added empty section

This commit is contained in:
Lukas Eder 2013-02-13 21:39:17 +01:00
parent 196719653a
commit 34082a4dae

View File

@ -9352,6 +9352,9 @@ Condition condition3 = BOOK.TITLE.isNotDistinctFrom(possiblyNull);]]></java>
</content>
</section>
<section id="reference-glossary">
</section>
<section id="reference-credits">
<title>Credits</title>
<content>