# HG changeset patch
# User pin
# Date 1200984603 -32400
# Node ID 1fce8ece5eeb85dba073a5b9a56e75af2059880e
# Parent  9ee013fde4d8a53726fc6034c6813458ca21d3cc
*** empty log message ***

diff -r 9ee013fde4d8 -r 1fce8ece5eeb .classpath
--- a/.classpath	Mon Jan 21 09:26:54 2008 +0900
+++ b/.classpath	Tue Jan 22 15:50:03 2008 +0900
@@ -3,5 +3,6 @@
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
+	<classpathentry combineaccessrules="false" kind="src" path="/REPLibrary"/>
 	<classpathentry kind="output" path="bin"/>
 </classpath>