| commit | 465f294c460779b36e90354bf6688680de108324 | [log] [tgz] |
|---|---|---|
| author | gwt.team.scottb <gwt.team.scottb@8db76d5a-ed1c-0410-87a9-c151d255dfc7> | Fri Aug 10 19:37:23 2007 +0000 |
| committer | gwt.team.scottb <gwt.team.scottb@8db76d5a-ed1c-0410-87a9-c151d255dfc7> | Fri Aug 10 19:37:23 2007 +0000 |
| tree | 9c10f2c367d9b1671166c1b2d1ce9750f530b31d | |
| parent | 7e67ebb404da514d76ac8b91055a39ef4d5dbc4f [diff] |
Fixes issue #1484; fixes a minor problem in gwt-module.dtd (comments cannot contain '--') and completes the definition for the <public> element. Patch by: sgross Review by: bobv git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@1299 8db76d5a-ed1c-0410-87a9-c151d255dfc7