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 /.dir-locals.el | |
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 '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions