Spelling error in flags.xml
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 9 Sep 2014 11:56:31 +0000 (12:56 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 19 Sep 2014 10:41:12 +0000 (11:41 +0100)
commitebb7334c02c3014283f5f997f239b3cf58476cbc
tree128dd02b272385f9669405850b1a62245812273b
parentc96c64fae0152bc53f48634d0ddd310ef4bc0105
Spelling error in flags.xml

Fixes Trac #9528
docs/users_guide/flags.xml