diff options
Diffstat (limited to '.pydevproject')
-rw-r--r-- | .pydevproject | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/.pydevproject b/.pydevproject index f77c43e10..4a8d2616b 100644 --- a/.pydevproject +++ b/.pydevproject @@ -3,11 +3,8 @@ <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/server/python/pki/server</path> <path>/pki/base/kra/functional</path> </pydev_pathproperty> </pydev_project> |