Merge pull request #1073 from gitblit/1062-DocEditorUpdates

Paul Martin

2016-04-30 a502d96a860456ec5e8c96761db70f7cabb74751

1
2
3
[project "main"] 
    title = Main Repositories 
    description = main group of repositories