Unlike the Arduino IDE, Arduino Web Editor requires that even libraries in the 1.0 format have a library.properties file. If the file is missing, library import fails.
It's possible this requirement of Arduino Web Editor may eventually be removed, so I should verify that it still exists before adding this check.
Unlike the Arduino IDE, Arduino Web Editor requires that even libraries in the 1.0 format have a library.properties file. If the file is missing, library import fails.
It's possible this requirement of Arduino Web Editor may eventually be removed, so I should verify that it still exists before adding this check.