diff options
author | 2020-08-06 11:36:40 -0700 | |
---|---|---|
committer | 2020-08-06 11:36:40 -0700 | |
commit | b11cb9587afd7491e847d5ef8a3e30bc4eeac174 (patch) | |
tree | f84de46b269feacce6ae26133321a4b44de86d15 /infra/repo_manager.py | |
parent | ca00e9e937d5c3086f830f661baf5f2d844e7ca3 (diff) |
[docs] Remove link to the old builder (#3538). (#4257)
Diffstat (limited to 'infra/repo_manager.py')
0 files changed, 0 insertions, 0 deletions