tree 883adbb8b8d9bf253a47aacd8ec8452242be4724
parent 45790a582a1d8916e0fd0d83d060bb074bc0037d
author Damien Martin-Guillerez <dmarting@google.com> 1512379602 +0100
committer Damien Martin-Guillerez <dmarting@google.com> 1512379602 +0100

Remove devtools sync

Change-Id: I550b1118826ef1f719ab7a69479b27e2464e6012