diff options
author | jocuri%softhome.net <> | 2008-04-04 11:47:31 +0000 |
---|---|---|
committer | jocuri%softhome.net <> | 2008-04-04 11:47:31 +0000 |
commit | 4ce651be31f2ceb75add53dc1145782c80c4099d (patch) | |
tree | 9b7a67ce0e04d5d0e56cc64923a6fe49c09df38d /docs/en/xml/installation.xml | |
parent | fb69b0f576988d864b9f5a107d4ede7e95b443a0 (diff) | |
download | bugs-4ce651be31f2ceb75add53dc1145782c80c4099d.tar bugs-4ce651be31f2ceb75add53dc1145782c80c4099d.tar.gz bugs-4ce651be31f2ceb75add53dc1145782c80c4099d.tar.bz2 bugs-4ce651be31f2ceb75add53dc1145782c80c4099d.tar.xz bugs-4ce651be31f2ceb75add53dc1145782c80c4099d.zip |
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.
Diffstat (limited to 'docs/en/xml/installation.xml')
0 files changed, 0 insertions, 0 deletions