Preserve options order when printed
authorMarco Costalba <mcostalba@gmail.com>
Mon, 1 Sep 2008 14:03:01 +0000 (16:03 +0200)
committerMarco Costalba <mcostalba@gmail.com>
Mon, 1 Sep 2008 14:03:01 +0000 (16:03 +0200)
Use a vector instead of a map so that options
are printed according to their original order.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>

No differences found