Not sure if this should go here or in "other arduino talk"
It's more of a FYI for other wayward souls.
I had IDE 1.6.10 and the digi board manager .json loaded and when I switched to a different arduino board setting and tried to upload a sketch to an arduino, I got the following:
sorry - this program has been built without plugin supportApparently, it's a known thing with 1.6.10:
https://github.com/arduino/Arduino/issues/5168Solution is to update to 1.6.11 (or higher) and miraculously digispark and regular arduino development can coexist.