Merged #174 "Fix repository deletion bug where the Lucene ticket index was ...

James Moger

2014-09-08 8be025e50f5c555bacceee2f63bda452e1edb0f6

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