commit d334267298e9defa1226c9aec017f82020f8a44a
author Stephen Haberman <stephen.haberman@gmail.com> Sat Jan 10 12:20:44 2015 -0600
committer Stephen Haberman <stephen.haberman@gmail.com> Sat Jan 10 12:20:44 2015 -0600
tree 90c5988822b24a77564b9e728c57c77adb0c7741
parent a6d0552ae8c1076a30d01c23988bb380fe39524f

Add colt to the gwt-dev classpath.

Change-Id: I096f164761e762377443ff976e857db9d9f445cf

eclipse/dev/.classpath

diff --git a/eclipse/dev/.classpath b/eclipse/dev/.classpath
index 4441746..f293c08 100644
--- a/eclipse/dev/.classpath
+++ b/eclipse/dev/.classpath
@@ -28,5 +28,6 @@
 	<classpathentry kind="var" path="GWT_TOOLS/lib/json/android-sdk-19.1/json-android-rebased.jar"/>
 	<classpathentry kind="var" path="GWT_TOOLS/lib/apache/commons/commons-collections-3.2.1.jar"/>
 	<classpathentry kind="var" path="GWT_TOOLS/lib/jetty/jetty-8.1.12.v20130726/servlet-api-3.0-NoMetaInf.jar"/>
+	<classpathentry kind="var" path="GWT_TOOLS/lib/colt/colt-1.2.jar" sourcepath="/GWT_TOOLS/lib/colt/colt-1.2-src.jar"/>
 	<classpathentry kind="output" path="bin"/>
 </classpath>