]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #3005 from nextcloud/dev-manual-12
authorRoeland Jago Douma <rullzer@users.noreply.github.com>
Tue, 10 Jan 2017 11:54:20 +0000 (12:54 +0100)
committerGitHub <noreply@github.com>
Tue, 10 Jan 2017 11:54:20 +0000 (12:54 +0100)
fix dev manual link


Trivial merge