mirror of
https://fuchsia.googlesource.com/third_party/github.com/pylint-dev/pylint
synced 2024-09-22 00:24:37 +00:00
6 lines
196 B
Batchfile
6 lines
196 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
|
|
"%~dpn0" %*
|