| Index: third_party/coverage-3.7.1/coverage/htmlfiles/index.html
|
| diff --git a/third_party/coverage-3.6/coverage/htmlfiles/index.html b/third_party/coverage-3.7.1/coverage/htmlfiles/index.html
|
| similarity index 98%
|
| rename from third_party/coverage-3.6/coverage/htmlfiles/index.html
|
| rename to third_party/coverage-3.7.1/coverage/htmlfiles/index.html
|
| index c649a83c3817f34ed19b5f50624749205937cfd0..c831823dd23944f7c88d651f20af75c574df7c72 100644
|
| --- a/third_party/coverage-3.6/coverage/htmlfiles/index.html
|
| +++ b/third_party/coverage-3.7.1/coverage/htmlfiles/index.html
|
| @@ -7,7 +7,7 @@
|
| {% if extra_css %}
|
| <link rel='stylesheet' href='{{ extra_css }}' type='text/css'>
|
| {% endif %}
|
| - <script type='text/javascript' src='jquery-1.4.3.min.js'></script>
|
| + <script type='text/javascript' src='jquery.min.js'></script>
|
| <script type='text/javascript' src='jquery.tablesorter.min.js'></script>
|
| <script type='text/javascript' src='jquery.hotkeys.js'></script>
|
| <script type='text/javascript' src='coverage_html.js'></script>
|
|
|