diff options
Diffstat (limited to '')
-rw-r--r-- | user/hosts/os.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/user/hosts/os.rst b/user/hosts/os.rst index 4bb873e..49d7e7e 100644 --- a/user/hosts/os.rst +++ b/user/hosts/os.rst @@ -79,4 +79,4 @@ proven over the years to be difficult to manage in production systems. $ git checkout -t origin/4.11 - Branches are available for the 4.9, 4.10, and 4.11 versions of RTEMS. + Branches are available for the 4.9, 4.10, 4.11 and 5 versions of RTEMS. |