1.3.1
Bugfixes
install_package
: fix bug in Boards Manager installations when Arduino IDE 1.8.10 is installed (da85525).
Enhancements
check_sketch_structure
,check_library_structure
,check_library_properties
,check_keywords_txt
: process folders/files in alphabetical order for repeatable and user-friendly output (61a55fe).