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> |