annotate importFromOpenMind/.pydevproject @ 49:f8cd7db4178c
output number of checked saves.
author |
casties |
date |
Thu, 23 Feb 2017 19:57:05 +0100 |
parents |
124ef8f3b22d |
children |
|
rev |
line source |
0
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
2 <?eclipse-pydev version="1.0"?><pydev_project>
|
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
3 <pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH">
|
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
4 <path>/${PROJECT_DIR_NAME}</path>
|
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
5 </pydev_pathproperty>
|
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
6 <pydev_property name="org.python.pydev.PYTHON_PROJECT_VERSION">python 3.0</pydev_property>
|
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
7 <pydev_property name="org.python.pydev.PYTHON_PROJECT_INTERPRETER">Default</pydev_property>
|
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents:
diff
changeset
|
8 </pydev_project>
|