.pydevproject
author cavaliet
Wed, 10 Aug 2011 12:40:29 +0200
branchgroup_management
changeset 128 503e365a3af7
parent 126 8c90de3216f9
child 133 80546343b3ca
permissions -rw-r--r--
Starting 'group_management' branch (CAUTION : STILL SOME BUGS)

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<?eclipse-pydev version="1.0"?>

<pydev_project>
<pydev_property name="org.python.pydev.PYTHON_PROJECT_INTERPRETER">platform_python</pydev_property>
<pydev_property name="org.python.pydev.PYTHON_PROJECT_VERSION">python 2.6</pydev_property>
<pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH">
<path>/platform/src/ldt</path>
<path>/platform/web</path>
</pydev_pathproperty>
</pydev_project>