Skip to content

tools: delete an unused argument

Rodrigo Muino Tomonari requested to merge github/fork/phisixersai/tools-jslint-fix into master

Delete the argument never being used.

  • make -j4 test (UNIX), or vcbuild test (Windows) passes
  • commit message follows [commit guidelines]

Merge request reports