Natalie Weizenbaum aaebd424ed Get rid of tool/synchronize.dart
This was moved to tool/grind/synchronize.dart in #318, but the old
file never got removed.
2019-05-15 18:17:06 -07:00
..
2019-05-15 18:17:06 -07:00
2018-02-04 16:12:33 -08:00