diff options
Diffstat (limited to '.pydevproject')
-rw-r--r-- | .pydevproject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.pydevproject b/.pydevproject index 4a8d2616b..fdc8738e1 100644 --- a/.pydevproject +++ b/.pydevproject @@ -6,5 +6,6 @@ <path>/pki/base/common/python/pki</path> <path>/pki/base/server/python/pki/server</path> <path>/pki/base/kra/functional</path> +<path>/pki</path> </pydev_pathproperty> </pydev_project> |