Handle and indicate duplicate repo ID:s (fixes #153)

This commit is contained in:
Jakob Borg
2014-04-27 21:53:27 +02:00
parent 89f5f3bf9a
commit dcd7d278aa
6 changed files with 41 additions and 9 deletions

File diff suppressed because one or more lines are too long