3fdc62cc633d14a728fab1ec4ed2676af1c63831 - gwt

commit: 3fdc62cc633d14a728fab1ec4ed2676af1c63831
[log]
author: scottb@google.com <scottb@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7>
Mon Nov 03 22:17:49 2008 +0000
committer: scottb@google.com <scottb@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7>
Mon Nov 03 22:17:49 2008 +0000
tree: de0dafd62b5a7edb998d4f10ed53df54e3f695c8
parent: b1da04c9100797316c3298f3f2dacaf4c012e79c [diff]

Build fix: prevent private generated files from being served up by GWTShellServlet.java

Review by: bobv (TBR)


git-svn-id: https://google-web-toolkit.googlecode.com/svn/releases/1.6@3932 8db76d5a-ed1c-0410-87a9-c151d255dfc7

10 files changed

tree: de0dafd62b5a7edb998d4f10ed53df54e3f695c8

build-tools/
dev/
distro-source/
doc/
eclipse/
jni/
reference/
samples/
servlet/
tools/
user/
branch-info.txt
build.xml
common.ant.xml
platforms.ant.xml