tree cb77b6b78f512bb1e580425d850d2688c537be78
parent 69edd0dbce97f786f71596d696e17be0f380f405
author Nicolas Geoffray <ngeoffray@google.com> 1447943143 +0000
committer Nicolas Geoffray <ngeoffray@google.com> 1447943468 +0000

Rename options for shorter names.

Change-Id: I2ea98ead4cd99d6a51cbfa149b0aab5e036ffb96