]> git.immae.eu Git - github/shaarli/Shaarli.git/commit
Merge pull request #1366 from shaarli/doc-setuptools-mkdocs
authornodiscc <nodiscc@gmail.com>
Wed, 2 Oct 2019 19:57:59 +0000 (19:57 +0000)
committerGitHub <noreply@github.com>
Wed, 2 Oct 2019 19:57:59 +0000 (19:57 +0000)
commitf4c662596225cbd83eba95ced8d183877c7ed5ff
treeec739faf7f5209a4e6627d1114e4d71fc1ec0514
parent5ed0d9f54d353dd5b4b5c7e61d1666e55e4532ed
parentb4665de89b3038d4699ba588ae219bb4e276202c
Merge pull request #1366 from shaarli/doc-setuptools-mkdocs

doc: CI/dev tools: add paragraph about documentation/mkdocs