Merged #205 "Update to JGit 3.5.1"

James Moger

2014-10-14 e10ac6e91b1062c74b800df4aa3f8fbcf7e18243

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