-
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 |