diff options
| author | Lukas Larsson <[email protected]> | 2018-06-18 17:15:33 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2018-06-18 17:15:33 +0200 |
| commit | fab4839df8dbf6ee394278893382abd9800236a1 (patch) | |
| tree | c8f39d618d925394dea3c6a470873eae7f1eed6c /erts | |
| parent | b4cb07a6f618b37109d6bdc21240fbac66f8e078 (diff) | |
| download | otp-fab4839df8dbf6ee394278893382abd9800236a1.tar.gz otp-fab4839df8dbf6ee394278893382abd9800236a1.tar.bz2 otp-fab4839df8dbf6ee394278893382abd9800236a1.zip | |
travis: Don't run docs deploy script
Need to create a seperate repo first for this to push to.
Diffstat (limited to 'erts')
0 files changed, 0 insertions, 0 deletions