Add new configuration setting 'git.userRepositoryPrefix'.

Florian Zschocke

2013-08-22 df75fa3a0961fc6a539209d5f13788d64b109a34

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