Update platformio.ini

This commit is contained in:
Jason2866 2025-06-17 17:09:00 +02:00 committed by GitHub
parent 67d428cd3d
commit a5b02ceb20
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -75,6 +75,7 @@ extra_scripts = pre:pio-tools/pre_source_dir.py
pre:pio-tools/override_copy.py
pre:pio-tools/compress-html.py
pre:pio-tools/port-vsc.py
pre:pio-tools/ldf_cache.py
post:pio-tools/strip-flags.py
[esp_defaults]