Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add tools/ to the style-checking path.
Test: Touch a Java file in tools/. `repo upload` gives warnings. Change-Id: I381b01038d8a0c0e90817e383ca5323908fdd592
- Loading branch information