diff options
author | Kazuhiro NISHIYAMA <[email protected]> | 2019-08-28 10:34:56 +0900 |
---|---|---|
committer | Kazuhiro NISHIYAMA <[email protected]> | 2019-08-28 10:34:56 +0900 |
commit | 989e8ad322afdfa3aa06e74b89fc42aef42895d0 (patch) | |
tree | a97fb7c895568dea9f68263e1a8350303519610c /lib/rdoc/generator | |
parent | 624a0ad44db1f2f5f70ef1726e0c5d4be4d854fb (diff) |
Remove debug print [ci skip]
Diffstat (limited to 'lib/rdoc/generator')
-rw-r--r-- | lib/rdoc/generator/template/darkfish/js/darkfish.js | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/rdoc/generator/template/darkfish/js/darkfish.js b/lib/rdoc/generator/template/darkfish/js/darkfish.js index 089813fcde..111bbf8eb9 100644 --- a/lib/rdoc/generator/template/darkfish/js/darkfish.js +++ b/lib/rdoc/generator/template/darkfish/js/darkfish.js @@ -72,7 +72,6 @@ function hookSearch() { } search.select = function(result) { - console.log(result); window.location.href = result.firstChild.firstChild.href; } |