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
..
__pycache__	Fetch arduino core indices before updating our cores	4 years ago
copy-examples.py	try to run the makefile from inside sphinx, which is hacky	4 years ago
copy-plugin-readmes.py	Make it possible to have Plugin readmes in the plugin dirs	4 years ago
inline.py	Continuing to flesh out https://kaleidoscope.readthedocs.io	5 years ago