commit 9d5bf60d3ce18441d43deb6ad9cec931b94e10b6
author David Pursehouse <david.pursehouse@sonymobile.com> Thu Apr 18 10:57:46 2013 +0900
committer David Pursehouse <david.pursehouse@sonymobile.com> Fri Apr 19 09:35:43 2013 +0900
tree 92260add56caee1254d0573e26c486947731cc8b
parent fef4ae74e26efecf5c803793351b6c843eab4970

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

.pydevproject

diff --git a/.pydevproject b/.pydevproject
index 880abd6..27c2485 100644
--- a/.pydevproject
+++ b/.pydevproject
@@ -3,7 +3,7 @@
 
 <pydev_project>
 <pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH">
-<path>/repo</path>
+<path>/git-repo</path>
 </pydev_pathproperty>
 <pydev_property name="org.python.pydev.PYTHON_PROJECT_VERSION">python 2.6</pydev_property>
 <pydev_property name="org.python.pydev.PYTHON_PROJECT_INTERPRETER">Default</pydev_property>