You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jesse Vincent 59bc793c30 Fetch arduino core indices before updating our cores ... It is entirely unclear to me how this ever worked before.		4 years ago
..
copy-examples.cpython-37.pyc	Working toward being able to have a coherent organization of our docs	4 years ago
copy-examples.cpython-39.pyc	Make it possible to have Plugin readmes in the plugin dirs	4 years ago
copy-plugin-readmes.cpython-39.pyc	Fetch arduino core indices before updating our cores	4 years ago