tree 8302d198d0a8f3424f5cf48887c023e99dfee99a
parent 6b6794ddd91b168f88519eaadd98f449bbcd2090
author Alex Fandrianto <alexfandrianto@google.com> 1458770429 -0700
committer Alex Fandrianto <alexfandrianto@google.com> 1458776041 +0000

x/devtools: Use mojodev instead of mojo-dev

The mojo dev profile was renamed from "mojo-dev" to "mojodev", so the
corresponding checks and comments should change too.

MultiPart: 1/3
Change-Id: I2fd1e6740a3c6924f1dbcbc17eee3bc338819a35