diff options
author | Haelwenn <contact+git.pleroma.social@hacktivis.me> | 2019-11-06 01:13:20 +0000 |
---|---|---|
committer | Haelwenn <contact+git.pleroma.social@hacktivis.me> | 2019-11-06 01:13:20 +0000 |
commit | efc4d6d9ecf7f5acad21ebd9274149ed1c041b22 (patch) | |
tree | aa93ee3d1f54c62ab7e71205438067906374cde8 /lib | |
parent | f11eebc18383be7d7b4b037582e4e1e08b74653b (diff) | |
parent | d5dc0c4a7e39611ca1aac1691038e5a9ab425dad (diff) | |
download | pleroma-efc4d6d9ecf7f5acad21ebd9274149ed1c041b22.tar.gz |
Merge branch 'ci/remove-docs-build' into 'develop'
CI: Remove the docs-build job
See merge request pleroma/pleroma!1941
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions