changed empty repo page

Jeroen Baten

2014-06-15 88051ff6225abc668759fe385c4f6d692b1b6fd6

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