.pydevproject
author ymh <ymh.work@gmail.com>
Mon, 29 Jul 2013 22:55:07 +0200
changeset 80 3851909cb730
parent 0 4095911a7830
permissions -rw-r--r--
better error management when editing wikipedia. Correct the javascript when there is an error and correct the behaviour of the code when a null result is returned. (done when investigating bug #17630)

<?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">python_jocondelab</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>/jocondelab/src</path>
</pydev_pathproperty>
</pydev_project>