Revision 759b241018267498663cd1ed2a6e9183d2394135 authored by Steven Johnson on 03 December 2020, 18:04:00 UTC, committed by GitHub on 03 December 2020, 18:04:00 UTC
Using the 'wrong' version of the tools will produce results out of sync with our presubmit tests, so add checking to ensure the user has their env set up correctly.
1 parent 2ddd0b0
Raw File
Directory is empty
back to top