rename

egnor · May 27, 2024 · 0e34b82 · 0e34b82
1 parent 217fa80
commit 0e34b82
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/docs/package.json → docs/package_egnor_index.json b/docs/package.json → docs/package_egnor_index.json
diff --git a/pintest/.mise.toml b/pintest/.mise.toml
@@ -11,6 +11,6 @@ python_compile = false
 python_venv_auto_create = true
 
 [env]
-ARDUINO_BOARD_MANAGER_ADDITIONAL_URLS = "https://egnor.github.io/gadget_play/package.json,https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_dev_index.json"
+ARDUINO_BOARD_MANAGER_ADDITIONAL_URLS = "https://egnor.github.io/gadget_play/package_egnor_index.json https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_dev_index.json"
 ARDUINO_DIRECTORIES_DATA = "{{config_root}}/build/arduino"
 ARDUINO_LIBRARY_ENABLE_UNSAFE_INSTALL = "true"