diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-03-20 17:05:50 +0100 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2017-03-29 10:33:25 +0200 |
| commit | 52488dae47d7c17dbac36c5d1d985e2a81ebe9de (patch) | |
| tree | 52fb055904570afde075598caa541722eec5bd78 /doc-tool | |
| parent | 8c02da6858615dacfbcc09c2431e0945fce6d730 (diff) | |
| download | dotty-52488dae47d7c17dbac36c5d1d985e2a81ebe9de.tar.gz dotty-52488dae47d7c17dbac36c5d1d985e2a81ebe9de.tar.bz2 dotty-52488dae47d7c17dbac36c5d1d985e2a81ebe9de.zip | |
Disable interactive mode in CI
Diffstat (limited to 'doc-tool')
0 files changed, 0 insertions, 0 deletions