<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE module PUBLIC "-//Google Inc.//DTD Google Web Toolkit 0.0.999//EN" "http://google-web-toolkit.googlecode.com/svn/tags/0.0.999/distro-source/core/src/gwt-module.dtd">
<module rename-to='DevModeOptions'>
  <!-- Inherit the core Web Toolkit stuff.                        -->
  <inherits name='com.google.gwt.user.User' />

  <!-- Specify the app entry point class.                         -->
  <entry-point class='com.google.gwt.devmodeoptions.client.DevModeOptions'/>

  <!-- Specify the paths for translatable code                    -->
  <source path='client'/>

<!-- The rest should be kept in sync with DevModeOptions.google.xml -->
  <set-property name='user.agent' value='safari' />
  <add-linker name="direct_install" />
</module>