diff options
author | Li Haoyi <haoyi.sg@gmail.com> | 2018-02-17 10:48:39 -0800 |
---|---|---|
committer | Li Haoyi <haoyi.sg@gmail.com> | 2018-02-17 10:48:39 -0800 |
commit | a225e7650892ecc1e672bcaf95dff0d598682583 (patch) | |
tree | 8dc8ca425bc9d74a1002aa862a60cdbf82bacf9b /ci/publish-docs.sh | |
parent | 7f2b6e2d5015654954376639706543502a377844 (diff) | |
download | mill-a225e7650892ecc1e672bcaf95dff0d598682583.tar.gz mill-a225e7650892ecc1e672bcaf95dff0d598682583.tar.bz2 mill-a225e7650892ecc1e672bcaf95dff0d598682583.zip |
extract on-master.py from release script, tweak docs
Diffstat (limited to 'ci/publish-docs.sh')
0 files changed, 0 insertions, 0 deletions