Gregory Nutt e40ccc1b60 Move remaining, unique Make.defs files into scripts directory.		2017-07-11 11:14:11 -06:00
..
defconfig	Last of the conversions of defconfig files to compressed format.	2017-07-09 20:49:07 -06:00