8000 Make pio build script executable by default (#446) · gsexton/arduino-pico@d24c844 · GitHub 8000
[go: up one dir, main page]
Skip to content

Commit d24c844

Browse files
earlephilhowerearlephilhower
authored
Make pio build script executable by default (earlephilhower#446)
In order to be consistent the other tools in the directory.
1 parent 4a955b2 commit d24c844

File tree

1 file changed

+0
-0
lines changed

1 file changed

+0
-0
lines changed

‎tools/platformio-build.py

100644100755
File mode changed.

0 commit comments

Comments
 (0)
0