Update 'scripting.js'

This commit is contained in:
andreacavalli 2020-03-19 00:55:18 +01:00
parent 8545a535a1
commit b1ec10ed78

View File

@ -43,8 +43,7 @@ function print(...text) {
process.stdout.write(text.join(" "));
}
function println(...text) {
print(text);
process.stdout.write("\n");
process.stdout.write(text.join(" ") + "\n");
}
const scriptPath = process.argv[2];