[BL training-materials-updates] Gnome Terminal has a "New tab" menu option again

[Michael Opdenacker]

Repository : git://git.free-electrons.com/training-materials.git
On branch  : master
Link       : http://git.free-electrons.com/training-materials/commit/?id=c2bbf655091920124df56ea16b45160a73ba39f9

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

commit c2bbf655091920124df56ea16b45160a73ba39f9
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Mon Nov 19 17:41:36 2018 +0100

    Gnome Terminal has a "New tab" menu option again
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

c2bbf655091920124df56ea16b45160a73ba39f9
 labs/setup/setup.tex | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/labs/setup/setup.tex b/labs/setup/setup.tex
index 800f916..1ee43b7 100644
--- a/labs/setup/setup.tex
+++ b/labs/setup/setup.tex
@@ -67,11 +67,5 @@ Can be useful throughout any of the labs
   files back to your regular user.\\
   Example: \code{chown -R myuser.myuser linux/}
 
-\item If you are using Gnome Terminal (the default terminal emulator
-  in the current version of Ubuntu), you can use tabs to have multiple terminals
-  in the same window. There's no more menu option to create a new
-  tab, but you can get one by pressing the \code{[Ctrl] [Shift] [t]}
-  keys.
-
 \end{itemize}