Gregory Nutt 1620ff05f4 Remove all setenv.sh files.		2017-04-26 07:49:37 -06:00
..
defconfig	Rename CONFIG_MUTEX_TYPES to CONFIG_PTHREAD_MUTEX_TYPES	2017-03-27 09:08:14 -06:00
Make.defs