Formatting fixes to flags.xml
authorDavid Terei <davidterei@gmail.com>
Thu, 12 Jan 2012 23:32:51 +0000 (15:32 -0800)
committerDavid Terei <davidterei@gmail.com>
Fri, 13 Jan 2012 00:42:07 +0000 (16:42 -0800)
commit167d2d42f02e4e2a7bbbe02f584b289d6a39ee37
treebc7cb82f12bacb5d193185e9280cb1f311c3ab22
parentba52053b95ccb417ca7ce08e85a45e49b5f49b0a
Formatting fixes to flags.xml
docs/users_guide/flags.xml