tree 288234cd6a70953fac9dc7b9019a3df2bdcc1b20
parent 1fa9f84029352fbe411cf886f61ce370a7374de4
author Roberto Lublinerman <rluble@google.com> 1430253218 -0700
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1430254190 +0000

Restore -style PRETTY as a default for regular superdevmode.

Change-Id: I67acff303848e82ddbb2632d86edbf2eb81805a4