| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/generator/webui/webapp.html
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/generator/webui/webapp.html b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/generator/webui/webapp.html
|
| index b4959c703d499dd84c88c24701b1ba5103fde8f9..696d6ff36ddb8c6bb3ffcc226af91a6e6b594073 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/generator/webui/webapp.html
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/generator/webui/webapp.html
|
| @@ -8,7 +8,7 @@
|
|
|
| <!-- import the click-counter -->
|
| <link rel="import" href="clickcounter.html">
|
| - <script type="application/dart">import 'package:polymer/init.dart';</script>
|
| + <script type="application/dart">export 'package:polymer/init.dart';</script>
|
| <script src="packages/browser/dart.js"></script>
|
| </head>
|
| <body>
|
|
|