chipKIT32/chipKIT32-MAX — pull request #286 by EmbeddedMan (2012-10-02 12:03:37+00:00)
Title: Fix for issue #285 - comment out "debug" boards in boards.txt

... we don't want anybody getting confused as to what those are for.