From 9ccdb06ded21eb8b65826edf68d37e118f52f1b6 Mon Sep 17 00:00:00 2001
From: Gregory Nutt
Date: Sat, 28 Oct 2017 10:54:15 -0600
Subject: [PATCH] Correct a URL in a document
---
Documentation/NuttX.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 82c963deb18..f4f506deff1 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -1931,7 +1931,7 @@
STATUS:
This port has stalled due to development tool issues.
Coding is complete on the basic port (timer, serial console, SPI).
- Refer to the NuttX board README file for further information.
+ Refer to the NuttX board README file for further information.
NOTE: This port has been obsoleted.