Gregory Nutt a7de34b88d Update some configurations. Make sure that CONFIG_PIPES is set in configuratins that need it.		2016-07-20 14:21:49 -06:00
..
defconfig	Update some configurations. Make sure that CONFIG_PIPES is set in configuratins that need it.	2016-07-20 14:21:49 -06:00
ld.script	Remove the configs/ directory	2015-06-29 13:12:29 -06:00
Make.defs	Merge remote-tracking branch 'origin/master' into windeps	2016-01-09 16:38:13 -06:00
setenv.sh	Correct permmisions on executable scripts	2016-04-10 09:11:59 -06:00