tree 92260add56caee1254d0573e26c486947731cc8b
parent fef4ae74e26efecf5c803793351b6c843eab4970
author David Pursehouse <david.pursehouse@sonymobile.com> 1366250266 +0900
committer David Pursehouse <david.pursehouse@sonymobile.com> 1366331743 +0900

Set correct name in PyDev and Eclipse project config

The name of the project is shown as "repo" in the project list in
the Eclipse workspace.

This change renames it to "git-repo" to match the name of the git
repository.

The existing project in Eclipse must be removed (it is not necessary
to delete project contents on disk) and re-imported for the change to
take effect.

Change-Id: I2ac022d22f46e5361dfe49c0dbcad482aaefe628