Clarify repo mismatch message (fixes #331)

This commit is contained in:
Jakob Borg
2014-06-04 14:17:48 +02:00
parent bec5c76631
commit afc2d6fda4
3 changed files with 3 additions and 4 deletions

File diff suppressed because one or more lines are too long