From 6e134a21de3438b696008198773fb5f2839d8e79 Mon Sep 17 00:00:00 2001
From: Alex Light <allight@google.com>
Date: Mon, 28 Aug 2017 09:02:01 -0700
Subject: [PATCH] Add platform/tools/dexter to manifest.

It is checked out at tools/dexter.

Test: repo sync
Bug: 65011851
Change-Id: I9ea14b5fba45b53636f3392cd1e04269231278e9
---
 default.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/default.xml b/default.xml
index 2306ab9..e9cb4a9 100644
--- a/default.xml
+++ b/default.xml
@@ -605,6 +605,7 @@
   <project path="tools/apksig" name="platform/tools/apksig" groups="pdk,tradefed" />
   <project path="tools/base" name="platform/tools/base" groups="notdefault,tools" />
   <project path="tools/build" name="platform/tools/build" groups="notdefault,tools" />
+  <project path="tools/dexter" name="platform/tools/dexter" groups="tools" />
   <project path="tools/external/fat32lib" name="platform/tools/external/fat32lib" groups="tools" />
   <project path="tools/external/gradle" name="platform/tools/external/gradle" groups="tools" />
   <project path="tools/idea" name="platform/tools/idea" groups="notdefault,tools" />