#205-Modify Eclipse environment

We use now Eclipse 2019-03.
Typee-Language · Apr 12, 2019 · 439d87c · 439d87c
1 parent 465b0bd
commit 439d87c
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/.project b/.project
@@ -2,8 +2,7 @@
 <projectDescription>
 	<name>Typee</name>
 	<comment></comment>
-	<projects>
-	</projects>
+	<projects></projects>
 	<buildSpec>
 		<buildCommand>
 			<name>org.python.pydev.PyDevBuilder</name>

diff --git a/.pydevproject b/.pydevproject
@@ -5,6 +5,5 @@
 <pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH">
 <path>/${PROJECT_DIR_NAME}/src</path>
 <path>/${PROJECT_DIR_NAME}</path>
-<path>/${PROJECT_DIR_NAME}/_Global_Documentation/Typee_Software_HTML_Documentation</path>
 </pydev_pathproperty>
 </pydev_project>