mirror of
https://github.com/arduino/library-registry.git
synced 2025-07-16 09:41:51 +03:00
bce4e13d13e228f8238f0d67dca75c984697122d
Remove "David_Such" libraries
Arduino Library Manager list
This branch contains the generated source file for the Arduino Library Manager index. If you want to add a library to the Arduino Library Manager index, please follow these instructions:
https://github.com/arduino/library-registry#adding-a-library-to-library-manager
Description
Languages
Markdown
100%