diff options
Diffstat (limited to 'user')
| -rw-r--r-- | user/index.rst | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/user/index.rst b/user/index.rst index d7baeef..2eb6065 100644 --- a/user/index.rst +++ b/user/index.rst @@ -1,5 +1,7 @@ .. SPDX-License-Identifier: CC-BY-SA-4.0 +.. include:: ../common/unicode.rst + .. highlight:: c ============================== @@ -8,14 +10,14 @@ RTEMS User Manual (|version|). .. topic:: Copyrights and License - | © 2018 Amaan Cheval - | © 2018 Marçal Comajoan Cara - | © 2018 Vidushi Vashishth - | © 2017 Tanu Hari Dixit - | © 2016, 2019 embedded brains GmbH - | © 2016, 2019 Sebastian Huber - | © 2012, 2015 Chris Johns - | © 1988, 2018 On-Line Applications Research Corporation (OAR) + | |copy| 2018 Amaan Cheval + | |copy| 2018 Marçal Comajoan Cara + | |copy| 2018 Vidushi Vashishth + | |copy| 2017 Tanu Hari Dixit + | |copy| 2016, 2019 embedded brains GmbH + | |copy| 2016, 2019 Sebastian Huber + | |copy| 2012, 2019 Chris Johns + | |copy| 1988, 2018 On-Line Applications Research Corporation (OAR) .. include:: ../common/license.rst |