chipKIT32/chipKIT32-MAX — pull request #483 by EmbeddedMan (2014-06-12 12:09:41+00:00)
Title: Fix for issue #482 - Fubarino Mini hardware interrupts not mapped proper...

...ly in variant files.