[commits] [Wiki] changed: Wiki/Home

Sun Oct 11 07:53:04 UTC 2020

rlang  Sun, 11 Oct 2020 07:53:04 +0000

Modified page: https://wiki.horde.org/Wiki/Home
New Revision:  3
Change log:  As developer doc is the most lively part of the wiki, it  
deserves showing up in the front page

@@ -6,8 +6,9 @@

  * ((FAQ|Frequently Asked Questions - FAQ))
  * ((HowTo|Horde How Tos))
  * ((Doc|Documentation))
+  * ((Doc/Dev|Developer Documentation))
  * ((Project|Projects to add or change large or small pieces of Horde))
  * ((Installations|Deployments, Providers, Distributions, and  
Hardware requirements))
  * ((ReleaseManagement|Release Management))
  * ((SecurityManagement|Managing Security Issues))

