Where can I find the source repository that contains the Teensyduino platform.txt?

[wearyhacker]

I am thinking about submitting a pull request to add handling of platform.local.txt overrides.

 

[PaulS]

You won't find that, see this message.

Paul

 

[wearyhacker]

I'll say it again.

"Ah well. it was worth asking... "

Thanks

Roger