| Index: third_party/pkg/js/tools/create_bootstrap.dart | 
| diff --git a/third_party/pkg/js/tools/create_bootstrap.dart b/third_party/pkg/js/tools/create_bootstrap.dart | 
| deleted file mode 100755 | 
| index 5c06c6a7ac247438bc7a46f697f29d9c58c8c513..0000000000000000000000000000000000000000 | 
| --- a/third_party/pkg/js/tools/create_bootstrap.dart | 
| +++ /dev/null | 
| @@ -1,55 +0,0 @@ | 
| -#!/usr/bin/env dart | 
| -// Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file | 
| -// for details. All rights reserved. Use of this source code is governed by a | 
| -// BSD-style license that can be found in the LICENSE file. | 
| - | 
| -/** | 
| - * This utility carves out the embedded bootstrap JavaScript in | 
| - * js.dart as a separate file that may be included directly in html. | 
| - * This is necessary in settings where script injection is disallowed. | 
| - * | 
| - * To run, navigate to the top-level directory for this project and run: | 
| - *   .../dart ./tools/create_bootstrap.dart | 
| - */ | 
| -library create_bootstrap; | 
| - | 
| -import 'dart:io'; | 
| - | 
| -final JS_PATTERN = new RegExp(r'final _JS_BOOTSTRAP = r"""((.*\n)*)""";'); | 
| - | 
| -final HEADER = """ | 
| -// Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file | 
| -// for details. All rights reserved. Use of this source code is governed by a | 
| -// BSD-style license that can be found in the LICENSE file. | 
| - | 
| -// THIS FILE IS AUTO GENERATED.  PLEASE DO NOT EDIT. | 
| - | 
| -// TODO(vsm): Move this file once we determine where assets should go.  See | 
| -// http://dartbug.com/6101. | 
| -"""; | 
| - | 
| -createFile(Path source, Path target) { | 
| -  final f = new File.fromPath(source); | 
| -  f.readAsString() | 
| -    .then((text) { | 
| -      final js = JS_PATTERN.firstMatch(text).group(1); | 
| -      final out = new File.fromPath(target); | 
| -      out.create() | 
| -        .then((out) => out.open(mode: FileMode.WRITE) | 
| -          .then((file) => file.writeString(HEADER) | 
| -            .then((file) => file.writeString(js) | 
| -              .then((file) => file.close())))); | 
| -    }); | 
| -} | 
| - | 
| -create(Path libPath) { | 
| -  final source = libPath.append('js.dart'); | 
| -  final target = libPath.append('dart_interop.js'); | 
| -  createFile(source, target); | 
| -} | 
| - | 
| -main() { | 
| -  final scriptPath = new Path(Platform.script).directoryPath; | 
| -  final libPath = scriptPath.join(new Path('../lib')); | 
| -  create(libPath); | 
| -} | 
|  |