mirror of
https://gerrit.googlesource.com/git-repo
synced 2024-12-23 07:16:21 +00:00
9d5bf60d3c
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
11 lines
414 B
XML
11 lines
414 B
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
<?eclipse-pydev version="1.0"?>
|
|
|
|
<pydev_project>
|
|
<pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_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>
|
|
</pydev_project>
|