JavaScript: Move --html all extractor options into options file.

This commit is contained in:
Max Schaefer
2019-11-06 12:19:09 +00:00
parent 725059deea
commit 54e40a8977
6 changed files with 4 additions and 3 deletions

View File

@@ -1,4 +1,4 @@
// semmle-extractor-options: --html all
<html>
<body>
(1) as child #0

View File

@@ -0,0 +1 @@
semmle-extractor-options: --html all