mirror of
https://gerrit.googlesource.com/git-repo
synced 2026-05-07 11:29:27 +00:00
Mike Frysinger
582804a59e
Not sure who uses this anymore, but might as well delete obviously wrong content. Change-Id: I5cdf1cf699c81b7db32b400f371134d21f474743 Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/563161 Commit-Queue: Mike Frysinger <vapier@google.com> Reviewed-by: Gavin Mak <gavinmak@google.com> Tested-by: Mike Frysinger <vapier@google.com>
10 lines
323 B
XML
10 lines
323 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_INTERPRETER">Default</pydev_property>
|
|
</pydev_project>
|