JavaScript: Remove --platform node extractor options.

2026-05-01 19:55:15 +02:00 · 2019-11-05 16:14:07 +00:00
parent 4848372435
commit 8fdf6298b9
5 changed files with 4 additions and 10 deletions
--- a/javascript/ql/test/tutorials/Introducing
+++ b/javascript/ql/test/tutorials/Introducing
@@ -1,2 +1,2 @@
-// semmle-extractor-options: --platform
-// semmle-extractor-options: node
+require("process")
+;