Philipp Czora 5d5d3c9170 Implemented persisting repositories according to namespace changes ...

Repository directories are now named after the repo's id instead of it's
name

2018-07-06 11:57:43 +02:00

..

src

Implemented persisting repositories according to namespace changes

2018-07-06 11:57:43 +02:00

pom.xml

merge with branch 1.x

2017-06-25 19:01:33 +02:00