968 |
copy_resource("jscoverage.html", destination_directory); |
copy_resource("jscoverage.html", destination_directory); |
969 |
copy_resource("jscoverage.css", destination_directory); |
copy_resource("jscoverage.css", destination_directory); |
970 |
copy_resource("jscoverage.js", destination_directory); |
copy_resource("jscoverage.js", destination_directory); |
971 |
|
copy_resource("jscoverage-ie.js", destination_directory); |
972 |
copy_resource("jscoverage-throbber.gif", destination_directory); |
copy_resource("jscoverage-throbber.gif", destination_directory); |
973 |
copy_resource("jscoverage-sh_main.js", destination_directory); |
copy_resource("jscoverage-sh_main.js", destination_directory); |
974 |
copy_resource("jscoverage-sh_javascript.js", destination_directory); |
copy_resource("jscoverage-sh_javascript.js", destination_directory); |