diff options
author | nodiscc <nodiscc@gmail.com> | 2019-10-02 19:57:59 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-02 19:57:59 +0000 |
commit | f4c662596225cbd83eba95ced8d183877c7ed5ff (patch) | |
tree | ec739faf7f5209a4e6627d1114e4d71fc1ec0514 /plugins/demo_plugin/demo_plugin.js | |
parent | 5ed0d9f54d353dd5b4b5c7e61d1666e55e4532ed (diff) | |
parent | b4665de89b3038d4699ba588ae219bb4e276202c (diff) | |
download | Shaarli-f4c662596225cbd83eba95ced8d183877c7ed5ff.tar.gz Shaarli-f4c662596225cbd83eba95ced8d183877c7ed5ff.tar.zst Shaarli-f4c662596225cbd83eba95ced8d183877c7ed5ff.zip |
Merge pull request #1366 from shaarli/doc-setuptools-mkdocs
doc: CI/dev tools: add paragraph about documentation/mkdocs
Diffstat (limited to 'plugins/demo_plugin/demo_plugin.js')
0 files changed, 0 insertions, 0 deletions