mirror of
https://fuchsia.googlesource.com/third_party/github.com/pylint-dev/pylint
synced 2024-09-20 23:51:39 +00:00
6 lines
203 B
Batchfile
6 lines
203 B
Batchfile
@echo off
|
|
rem Use python to execute the python script having the same name as this batch
|
|
rem file, but without any extension, located in the same directory as this
|
|
rem batch file
|
|
python "%~dpn0" %*
|