tree 5812c15205832348c1d4dd0ba89660c5b4a7e5a7
parent 5b2bef10fb0bf2fed2c75cbf7c81e10b1b305373
author Jeff Davidson <jpd@google.com> 1481756156 -0800
committer Jeff Davidson <jpd@google.com> 1481926725 -0800

Add google-java-format-diff.py from the public repository.

Note that the alternate license for this file is already referenced in
the LICENSE file in this folder.

Also add our own trivial launcher script to launch the formatter,
as google-java-format-diff.py expects such a launcher to exist.

Bug: 31552314
Test: Exercised script from new repohook
Change-Id: Ibbbf8a1eb54c73fd6e3d669ed09a4d625536b111