diff options
author | Chris Johns <chrisj@rtems.org> | 2018-02-16 14:39:31 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2018-02-16 14:39:31 +1100 |
commit | c3fdbc0fc4d715833073efc209c4d021de424d92 (patch) | |
tree | 9d616afb575d7e41fcbde897258abd33f84daca1 | |
parent | a5294ea7d40d3370e8e29cee57dd48baf5fad4da (diff) |
RTEMS 4.11.3 release.
-rw-r--r-- | docs/docs.rtems.org/configuration.ini | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/docs/docs.rtems.org/configuration.ini b/docs/docs.rtems.org/configuration.ini index c7681e4..a83fc6a 100644 --- a/docs/docs.rtems.org/configuration.ini +++ b/docs/docs.rtems.org/configuration.ini @@ -3,13 +3,14 @@ ; [latest] -release = 4.11.2 +release = 4.11.3 [branches] master = master 4.11 = 4.11 [releases] +4.11.3 = rtems-docs-4.11.3 4.11.2 = rtems-docs-4.11.2 4.11.1 = rtems-docs-4.11.1 4.11.0 = rtems-docs-4.11.0 @@ -74,6 +75,9 @@ started_ada = "Getting Started with GNAT/RTEMS" [no-legacy-template] legacy = no +[rtems-docs-4.11.3] +template = no-legacy-template + [rtems-docs-4.11.2] template = no-legacy-template |