chipKIT32/chipKIT32-MAX — pull request #470 by EmbeddedMan (2014-05-31 12:47:51+00:00)
Title: Updated build.xml to use new (20140530) compilers. Also bumped build num...

...ber in platforms.txt up by one.

Tested with Windows build, and it appears to work.