chipKIT32/chipKIT32-MAX — pull request #432 by majenkotech (2014-04-03 13:10:32+00:00)
Title: Fixed millis() call to ReadCoreTimer

Also there were some strange UTF quote characters in some comments that github's online editor didn't like, so I changed them to real quotes.