From: nodiscc <nodiscc@gmail.com>
Date: Wed, 2 Oct 2019 19:57:59 +0000 (+0000)
Subject: Merge pull request #1366 from shaarli/doc-setuptools-mkdocs
X-Git-Tag: v0.12.0-beta~35
X-Git-Url: https://git.immae.eu/?p=github%2Fshaarli%2FShaarli.git;a=commitdiff_plain;h=f4c662596225cbd83eba95ced8d183877c7ed5ff

Merge pull request #1366 from shaarli/doc-setuptools-mkdocs

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

f4c662596225cbd83eba95ced8d183877c7ed5ff