xxxajk/spi4teensy3 — pull request #4 by PaulStoffregen (2013-12-17 23:14:24+00:00)
Title: Use the same header for both Teensy 3.0 & 3.1

Even though the part number changed, they both use "mk20dx128.h".