From ea793b23c98403cefb38670d02a778b843bdf997 Mon Sep 17 00:00:00 2001 From: John Ogness Date: Thu, 19 Apr 2018 11:03:45 +0200 Subject: replace *all* tabs with spaces There are times when tabs are allowed and times when they are not. Let's just simply never use tabs for anything. This makes it easy to find presentations where tabs were accidentally inserted. Signed-off-by: John Ogness --- linux-basics/what-is-linux/handout_what-is-linux_de.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'linux-basics/what-is-linux/handout_what-is-linux_de.tex') diff --git a/linux-basics/what-is-linux/handout_what-is-linux_de.tex b/linux-basics/what-is-linux/handout_what-is-linux_de.tex index 2ae9b03..901fa31 100644 --- a/linux-basics/what-is-linux/handout_what-is-linux_de.tex +++ b/linux-basics/what-is-linux/handout_what-is-linux_de.tex @@ -208,7 +208,7 @@ und nicht etwa auf dem Rechner, an dem Sie gerade sitzen. \item Wie alt ist das Unix-Konzept mittlerweile? \item Seit wann gibt es den Linux-Kernel? \item Warum ist die Großrechner-Tradition von Linux auch für Embedded Systems - von Vorteil? + von Vorteil? \item Was passiert beim Login-Vorgang? \end{enumerate} -- cgit v1.2.3