-
jocuri%softhome.net authored
Fixing documentation build tree, broken by the check in of bug 198020; rename the name of the `flags` section so it doesn't collide with already existing section.
c07257a3
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
images | ||
xml | ||
.cvsignore | ||
README.docs | ||
makedocs.pl | ||
rel_notes.txt |