diff options
Diffstat (limited to '.pydevproject')
| -rw-r--r-- | .pydevproject | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/.pydevproject b/.pydevproject index a9cca037b..f77c43e10 100644 --- a/.pydevproject +++ b/.pydevproject @@ -1,7 +1,13 @@ <?xml version="1.0" encoding="UTF-8" standalone="no"?> -<?eclipse-pydev version="1.0"?> - -<pydev_project> +<?eclipse-pydev version="1.0"?><pydev_project> <pydev_property name="org.python.pydev.PYTHON_PROJECT_INTERPRETER">Default</pydev_property> <pydev_property name="org.python.pydev.PYTHON_PROJECT_VERSION">python 2.7</pydev_property> +<pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH"> +<path>/pki/base/server/src</path> +<path>/pki/base/server/src/engine</path> +<path>/pki/base/server/src/scriptlets</path> +<path>/pki/base/server/python/pki/server</path> +<path>/pki/base/common/python/pki</path> +<path>/pki/base/kra/functional</path> +</pydev_pathproperty> </pydev_project> |