]> git.immae.eu Git - github/shaarli/Shaarli.git/commitdiff
Merge pull request #772 from nodiscc/rtfd
authornodiscc <nodiscc@gmail.com>
Tue, 4 Jul 2017 19:37:30 +0000 (21:37 +0200)
committerGitHub <noreply@github.com>
Tue, 4 Jul 2017 19:37:30 +0000 (21:37 +0200)
Generate HTML documentation using MkDocs


Trivial merge