| Index: src/DomDistiller.gwt.xml
|
| diff --git a/src/DomDistiller.gwt.xml b/src/DomDistiller.gwt.xml
|
| index 8de198fb0ad8b00efb3fbd5b97bcdefa222ccf36..616bfa1a4a208b8410b6b242bc7689d44a71e119 100644
|
| --- a/src/DomDistiller.gwt.xml
|
| +++ b/src/DomDistiller.gwt.xml
|
| @@ -8,13 +8,11 @@
|
| "http://google-web-toolkit.googlecode.com/svn/tags/2.5.1/distro-source/core/src/gwt-module.dtd">
|
| <module rename-to='domdistiller'>
|
| <!-- Inherit the core Web Toolkit stuff. -->
|
| + <inherits name='com.google.gwt.core.Core'/>
|
| <inherits name='com.google.gwt.user.User'/>
|
| <inherits name='com.google.gwt.json.JSON'/>
|
| <inherits name='Proto'/>
|
|
|
| - <inherits name='org.timepedia.exporter.Exporter'/>
|
| - <set-property name='export' value='yes'/>
|
| -
|
| <set-property name='gwt.logging.enabled' value='TRUE'/>
|
|
|
| <set-property name='user.agent' value='safari'/>
|
| @@ -25,6 +23,9 @@
|
| <source path='com/dom_distiller/client'/>
|
| <source path='de'/>
|
|
|
| + <!-- Use the SingleScriptLinker. -->
|
| + <add-linker name='sso'/>
|
| +
|
| <!-- This provides simple implementations of java platform features used by boilerpipe but not
|
| available in a gwt project -->
|
| <super-source path='fake_java_platform'/>
|
|
|