Julien Danjou b2d7ecc4ce Move os_* options into a group
Change-Id: I1c4942cdc474658222ab3ddcd71849150bbc8db4
Signed-off-by: Julien Danjou <julien@danjou.info>
2013-06-04 10:33:59 +02:00
..
2013-06-04 10:33:59 +02:00