Fix mistake in flags.xml
authorDavid Terei <davidterei@gmail.com>
Fri, 13 Jan 2012 00:16:45 +0000 (16:16 -0800)
committerDavid Terei <davidterei@gmail.com>
Fri, 13 Jan 2012 00:42:07 +0000 (16:42 -0800)
commite2ec71c9172381dd70ddc71f6ad90765ae6f3e01
tree5e6f9ffbb57c9b3bb8f263d3a214fde49c3efb43
parentff4be2130be619c18d7e39cc1f32472c08e8a076
Fix mistake in flags.xml
docs/users_guide/flags.xml