doc module/Vagrant: Add menu.ini

refs #4820
This commit is contained in:
Eric Lippmann 2014-07-28 19:26:39 +02:00
parent 034923d886
commit a0867ce33a
1 changed files with 5 additions and 0 deletions

View File

@ -0,0 +1,5 @@
[Documentation]
title = "Documentation"
icon = "img/icons/comment.png"
url = "doc"
priority = 80