Add devtools role

Change-Id: Ib9bd3b1eaae019320d36f8fa9d4265877fd171ed
1 file changed
tree: cb7feeb33c51b56462c0491c38b1bbb2b1b3c38d
  1. .gitreview
  2. Makefile
  3. default.xml
  4. manifest.dtd
  5. validate_manifest.sh