[bootlin/training-materials updates] master: labs/sysdev-system-integration: remove gratuitous comment (e28a80fa)

[Thomas Petazzoni]

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

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

commit e28a80fac3430c02d35ed9610639ee37349a417f
Author: Thomas Petazzoni <thomas.petazzoni at bootlin.com>
Date:   Fri Sep 30 12:04:48 2022 +0200

    labs/sysdev-system-integration: remove gratuitous comment
    
    This comment is not specific enough, and possibly wrong, it all
    depends on what you want to do.
    
    Signed-off-by: Thomas Petazzoni <thomas.petazzoni at bootlin.com>


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

e28a80fac3430c02d35ed9610639ee37349a417f
 labs/sysdev-system-integration/sysdev-system-integration.tex | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/labs/sysdev-system-integration/sysdev-system-integration.tex b/labs/sysdev-system-integration/sysdev-system-integration.tex
index 34390c4d..3a696be4 100644
--- a/labs/sysdev-system-integration/sysdev-system-integration.tex
+++ b/labs/sysdev-system-integration/sysdev-system-integration.tex
@@ -119,9 +119,6 @@ You can also check all the mounted filesystems and be impressed:
 
 \bashcmd{# mount}
 
-There are definitely infrastructures we don't need in a system as
-simple as ours.
-
 \section{Inspecting the system}
 
 On the target, look at the contents of \code{/lib/systemd}. You will