Chris Bracken 72aa378428
[License] Eliminate duplicate case in switch (#7269)
This changes behaviour, but we should treat diffs as binary for the
reasons outlined in the comment on the remaining diff case.
2018-12-20 13:22:30 -08:00
..
2018-08-06 15:06:49 -07:00
2018-10-05 11:56:13 -07:00
2018-08-06 15:06:49 -07:00
2018-08-06 15:06:49 -07:00
2018-08-06 15:06:49 -07:00

This directory includes scripts and tools for continuous integration tests.