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