[bootlin/training-materials updates] master: Merge pull request #72 from giuliobenetti/fix/rt-typo3 (7cb806dc)

[GitHub]

Repository : https://github.com/bootlin/training-materials
On branch  : master
Link       : https://github.com/bootlin/training-materials/commit/7cb806dcc13d6e871d617791aab5cf250a14cf90

>---------------------------------------------------------------

commit 7cb806dcc13d6e871d617791aab5cf250a14cf90
Merge: eae3ba07 ddc7972d
Author: Michael Opdenacker <michael at bootlin.com>
Date:   Fri Jan 21 17:54:17 2022 +0100

    Merge pull request #72 from giuliobenetti/fix/rt-typo3
    
    Some other typo/style fix found during the RT course


>---------------------------------------------------------------

7cb806dcc13d6e871d617791aab5cf250a14cf90
 .../realtime-linux-application-development.tex                    | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)