tree 0fafaa73ab49c54d2ca317bec06ad5e34938e575
parent f35b073896cd0b82623d8c0583c5ec4ab070cfb5
author alexeagle <alexeagle@google.com> 1542243082 -0800
committer Copybara-Service <copybara-piper@google.com> 1542243101 -0800

Internal change for selecting a different tsetse plugin

PiperOrigin-RevId: 221537009