| Index: frog/tip/background.html
 | 
| diff --git a/frog/tip/background.html b/frog/tip/background.html
 | 
| deleted file mode 100644
 | 
| index 8e9034fa2ae86118d57a4f771e757c12f5cad706..0000000000000000000000000000000000000000
 | 
| --- a/frog/tip/background.html
 | 
| +++ /dev/null
 | 
| @@ -1,11 +0,0 @@
 | 
| -<!-- Copyright (c) 2011, 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. -->
 | 
| -
 | 
| -<!DOCTYPE html>
 | 
| -
 | 
| -<html>
 | 
| -  <head>
 | 
| -    <!-- TODO(jimhug): Do something here, after extensions issue fixed. -->
 | 
| -  </head>
 | 
| -</html>
 | 
| 
 |