| <?xml version="1.0" encoding="UTF-8"?> | |
| <module> | |
| <inherits name='com.google.gwt.core.Core'/> | |
| <inherits name='com.google.gwt.event.Event'/> | |
| <!-- For History and Window --> | |
| <inherits name='com.google.gwt.user.DOM'/> | |
| <source path="shared"/> | |
| <source path="impl"/> | |
| <generate-with class="com.google.gwt.place.rebind.PlaceHistoryMapperGenerator"> | |
| <when-type-assignable class="com.google.gwt.place.shared.PlaceHistoryMapper"/> | |
| </generate-with> | |
| </module> |