Add schema-based rules for tools data of package index#202
Merged
per1234 merged 1 commit intoarduino:mainfrom Jul 7, 2021
per1234:package-index-tools-rules
Merged
Add schema-based rules for tools data of package index#202per1234 merged 1 commit intoarduino:mainfrom per1234:package-index-tools-rules
per1234 merged 1 commit intoarduino:mainfrom
per1234:package-index-tools-rules
