diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-03-29 15:14:01 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2017-03-29 15:14:01 +0200 |
| commit | 08d75b5b1bcdb7b1051831e7a2282f1fbb896267 (patch) | |
| tree | 2e39266f0426e47dcf21c004d1b2371aa1504e06 /doc-tool | |
| parent | 02ebe0f9b18b7dec024b79109ecf984d23c15cd1 (diff) | |
| download | dotty-08d75b5b1bcdb7b1051831e7a2282f1fbb896267.tar.gz dotty-08d75b5b1bcdb7b1051831e7a2282f1fbb896267.tar.bz2 dotty-08d75b5b1bcdb7b1051831e7a2282f1fbb896267.zip | |
Revert CI memory changes
It is necessary to do this in a new commit because of having to make
sure that the signed drone file is current
Diffstat (limited to 'doc-tool')
0 files changed, 0 insertions, 0 deletions