diff options
Diffstat (limited to 'coverage/htmlfiles/coverage_html.js')
| -rw-r--r-- | coverage/htmlfiles/coverage_html.js | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/coverage/htmlfiles/coverage_html.js b/coverage/htmlfiles/coverage_html.js index 5906e65..b24006d 100644 --- a/coverage/htmlfiles/coverage_html.js +++ b/coverage/htmlfiles/coverage_html.js @@ -374,4 +374,3 @@ coverage.scroll_window = function (to_pos) { coverage.finish_scrolling = function () { $("html,body").stop(true, true); }; - |