Use super-source to provide our GWT-specialized Platform.java.

This commit is contained in:
Michael Bayne
2011-08-13 09:32:34 -07:00
parent 41a3eff538
commit cc1c1d3f51
3 changed files with 7 additions and 3 deletions
@@ -4,4 +4,5 @@
<source path="d"/>
<source path="i"/>
<source path="util"/>
<super-source path="gwt"/>
</module>