chipKIT32/chipKIT32-MAX — pull request #375 by majenkotech (2013-07-25 19:38:20+00:00)
Title: Update boards.txt

boards.txt contains a key for the wrong variant