diff options
author | nodiscc <nodiscc@gmail.com> | 2019-09-19 19:04:05 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-19 19:04:05 +0000 |
commit | 954b3c81ce60246ab2c50640b51617e19ea74192 (patch) | |
tree | 55ce9b5b658e34b44aeb982a0e38cfd6a6aed7d2 /plugins | |
parent | 1df5e9ca866cb063f234b2a99762f73edbcb6c4c (diff) | |
download | Shaarli-954b3c81ce60246ab2c50640b51617e19ea74192.tar.gz Shaarli-954b3c81ce60246ab2c50640b51617e19ea74192.tar.zst Shaarli-954b3c81ce60246ab2c50640b51617e19ea74192.zip |
doc: CI/dev tools: add paragraph about documentation/mkdocs
Fixes https://github.com/shaarli/Shaarli/issues/1335
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions