diff options
| author | Jonas Schievink <jonasschievink@gmail.com> | 2020-10-12 21:48:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-12 21:48:42 +0200 |
| commit | e99cb578c99ca574dff6073d673eef9bb96ef4e3 (patch) | |
| tree | 9dd2febf96ab469f00acea3418e1055acc15d999 /docs/dev | |
| parent | 1cb64a70d643a194839120350f5bbc619314205a (diff) | |
| download | rust-e99cb578c99ca574dff6073d673eef9bb96ef4e3.tar.gz rust-e99cb578c99ca574dff6073d673eef9bb96ef4e3.zip | |
Remove disabled builder
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions