diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2014-09-01 13:21:15 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2014-09-01 13:21:15 -0600 |
commit | 7bfdcaa22bd60cd34f11b0592c53fc5da1a37617 (patch) | |
tree | 77b4f3886eb3f4049545827c2008d161c318a9fa /nuttx/Documentation/README.html | |
parent | 9ee5cfaffa313949563fb37f7cd39a2b7620a4dd (diff) | |
download | px4-nuttx-7bfdcaa22bd60cd34f11b0592c53fc5da1a37617.tar.gz px4-nuttx-7bfdcaa22bd60cd34f11b0592c53fc5da1a37617.tar.bz2 px4-nuttx-7bfdcaa22bd60cd34f11b0592c53fc5da1a37617.zip |
Remove final traces of the 8015 from the NuttX source tree
Diffstat (limited to 'nuttx/Documentation/README.html')
-rw-r--r-- | nuttx/Documentation/README.html | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/nuttx/Documentation/README.html b/nuttx/Documentation/README.html index b2a8775d0..50304cff2 100644 --- a/nuttx/Documentation/README.html +++ b/nuttx/Documentation/README.html @@ -164,8 +164,6 @@ | | | `- <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/pic32mx7mmb/README.txt"><b><i>README.txt</i></b></a> | | |- pirelli_dpl10/ | | | `- <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/pirelli_dpl10/README.txt"><b><i>README.txt</i></b></a> - | | |- pjrc-8051/ - | | | `- <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/pjrc-8051/README.txt"><b><i>README.txt</i></b></a> | | |- qemu-i486/ | | | `- <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/qemu-i486/README.txt"><b><i>README.txt</i></b></a> | | |- rgmp/ |