tree 1ede8720c03741a91db9354cdde3c0b74cbfe7b0
parent de6b7262e0d9ecb87387e8d91717ee9f0779a4f3
author rjrjr@google.com <rjrjr@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1296076350 +0000
committer rjrjr@google.com <rjrjr@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1296076350 +0000

Fix bad gwt-servlet dep problem described in http://code.google.com/p/google-web-toolkit/issues/detail?id=5918


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