Revision: 7518
Author: [email protected]
Date: Mon Feb 1 10:46:28 2010
Log: Fix API checker change made in the wrong place.
Patch by: jat
Review by: amitmanjhi
http://code.google.com/p/google-web-toolkit/source/detail?r=7518
Modified:
/trunk/tools/api-checker/config/gwt16_20userApi.conf
=======================================
--- /trunk/tools/api-checker/config/gwt16_20userApi.conf Mon Feb 1
08:08:26 2010
+++ /trunk/tools/api-checker/config/gwt16_20userApi.conf Mon Feb 1
10:46:28 2010
@@ -33,7 +33,6 @@
:**/remote/**\
:**/server/**\
:**/tools/**\
-:user/src/com/google/gwt/regexp/shared/**\
:com/google/gwt/junit/*.java\
:com/google/gwt/junit/client/GWTTestCase.java\
:com/google/gwt/junit/client/impl/GWTRunner.java\
@@ -55,6 +54,7 @@
:**/rebind/**\
:**/server/**\
:**/tools/**\
+:user/src/com/google/gwt/regexp/shared/**\
:user/src/com/google/gwt/core/client/impl/WeakMapping.java\
:user/src/com/google/gwt/junit/*.java\
:user/src/com/google/gwt/junit/client/GWTTestCase.java\
--
http://groups.google.com/group/Google-Web-Toolkit-Contributors
