From 7bfdcaa22bd60cd34f11b0592c53fc5da1a37617 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Mon, 1 Sep 2014 13:21:15 -0600
Subject: Remove final traces of the 8015 from the NuttX source tree

---
 nuttx/README.txt | 2 --
 1 file changed, 2 deletions(-)

(limited to 'nuttx/README.txt')

diff --git a/nuttx/README.txt b/nuttx/README.txt
index b868b81bb..fcd7e3eb8 100644
--- a/nuttx/README.txt
+++ b/nuttx/README.txt
@@ -1030,8 +1030,6 @@ nuttx
  |   |   `- README.txt
  |   |- pirelli_dpl10/
  |   |   `- README.txt
- |   |- pjrc-8051/
- |   |   `- README.txt
  |   |- qemu-i486/
  |   |   `- README.txt
  |   |- rgmp/
-- 
cgit v1.2.3