diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-01-18 12:43:04 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-01-18 12:43:04 +0100 |
| commit | 94ba704376f673f56006a35f4b0f9fcf622b9434 (patch) | |
| tree | de3460b32e604a1882fa02952f9008603c977f12 | |
| parent | adds old examples (diff) | |
| download | rtems-central-94ba704376f673f56006a35f4b0f9fcf622b9434.tar.bz2 | |
formal: Remove bogus character
| -rw-r--r-- | formal/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/formal/README.md b/formal/README.md index d3ff71a6..276bc9d8 100644 --- a/formal/README.md +++ b/formal/README.md @@ -2,7 +2,7 @@ `formal` -This directory contains the models and tooling developed as part of the ESA-sponsored activity ***Qualification of RTEMS Symmetric Multiprocessing
(SMP)***, that has been added into RTEMS in the `rtems-central` repository. +This directory contains the models and tooling developed as part of the ESA-sponsored activity ***Qualification of RTEMS Symmetric Multiprocessing (SMP)***, that has been added into RTEMS in the `rtems-central` repository. ## Contributors |