Gregory Nutt 615c0ea7ee Change naming configs/ to boards in comments, Documentation, etc. Still a few more to go.

2019-08-05 07:13:48 -06:00

..

common

Fix errors found in build testing:

2019-05-25 11:45:22 -06:00

mips32

Fix typos.

2019-08-04 14:50:28 -06:00

pic32mx

Change naming configs/ to boards in comments, Documentation, etc. Still a few more to go.

2019-08-05 07:13:48 -06:00

pic32mz

Change naming configs/ to boards in comments, Documentation, etc. Still a few more to go.

2019-08-05 07:13:48 -06:00

.gitignore

…

Makefile

Build system: Remove fixed lib/ subdirectory and its content. Replace with new directory called staging/ that is created dynamically when building and removed when 'make clean' is done. This both improves the name and eliminates a garbage directory from the repository.

2018-05-29 11:36:21 -06:00