diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-02-02 18:25:32 +0100 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2017-02-02 18:25:32 +0100 |
| commit | 8408ac9523bbb243556d1a9c8949ea2410003c72 (patch) | |
| tree | 763f7cd6407d8776eed2bd660d91115275874e36 /doc-tool | |
| parent | 480f248e95f5868431876f849b71605abfdfd114 (diff) | |
| download | dotty-8408ac9523bbb243556d1a9c8949ea2410003c72.tar.gz dotty-8408ac9523bbb243556d1a9c8949ea2410003c72.tar.bz2 dotty-8408ac9523bbb243556d1a9c8949ea2410003c72.zip | |
Change integrations to only fire on changed build status
Diffstat (limited to 'doc-tool')
0 files changed, 0 insertions, 0 deletions