| 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 865345ddfc6025861a4cafd571692e0996998cc4..b4959c703d499dd84c88c24701b1ba5103fde8f9 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" src="packages/polymer/init.dart"></script>
|
| + <script type="application/dart">import 'package:polymer/init.dart';</script>
|
| <script src="packages/browser/dart.js"></script>
|
| </head>
|
| <body>
|
|
|