tree 7818e4dce4d3e049c4a38ac29b75c8c685ef455a
parent caa1ca33dda414a31c7a4844ecb15c1dfc79c330
author jat@google.com <jat@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1253559729 +0000
committer jat@google.com <jat@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1253559729 +0000

Revert unnecessary change to GWTShellServlet, update Eclipse instructions
(more to come later), remove requirement for gwt.devjar setting (for now,
may have to add back for IE proxy setting), remove unused method now that
OOPHM is the only option.

Patch by: jat
Review by: amitmanjhi (TBR)


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