Sorry, this is a mistake one, already been pushed ignore..
On Sat, Apr 4, 2020 at 10:43 PM Gedare Bloom wrote:
>
> ---
> user/index.rst | 1 +
> user/start/tools.rst | 4 ++--
> 2 files changed, 3 insertions(+), 2 deletions(-)
>
> diff --git a/user/index.rst b/user/index.rst
> index 5c39cc
---
user/index.rst | 1 +
user/start/tools.rst | 4 ++--
2 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/user/index.rst b/user/index.rst
index 5c39cca..0e6e886 100644
--- a/user/index.rst
+++ b/user/index.rst
@@ -11,6 +11,7 @@ RTEMS User Manual (|version|).
.. topic:: Copyrig