Links2004 241c73a806 use ARDUINO_BOARD_MANAGER_ADDITIONAL_URLS env for setting board URLs

2024-01-05 15:06:30 +01:00

..

common.sh

use ARDUINO_BOARD_MANAGER_ADDITIONAL_URLS env for setting board URLs

2024-01-05 15:06:30 +01:00

version.py

version.py can now create WebSocketsVersion.h

2021-01-07 10:24:23 +01:00