tree d0804cb1310f06fbd00d59f404fb734a7b600228
parent f7e0584692a19fb1103e5d228145e8f9dd3bac08
author Vitaly Buka <vitalybuka@google.com> 1604011058 -0700
committer Vitaly Buka <vitalybuka@google.com> 1604011058 -0700

[sanitizer] Delete unused script