Gregory Nutt 3dd8c08714 Remove final traces of the 8015 from the NuttX source tree

2014-09-01 13:21:15 -06:00

..

defconfig

Remove final traces of the 8015 from the NuttX source tree

2014-09-01 13:21:15 -06:00

Make.defs

…

setenv.sh

…