From 602ce85270650cff50f7afa90152493adf2789f2 Mon Sep 17 00:00:00 2001 From: eiffel-org Date: Mon, 30 Apr 2018 12:13:59 +0000 Subject: [PATCH] Update wikipage Mini HowTo. (Signed-off-by:tioui). git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1996 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- documentation/18.01/eiffel/Tutorials/Mini-HowTo/index.wiki | 1 + 1 file changed, 1 insertion(+) diff --git a/documentation/18.01/eiffel/Tutorials/Mini-HowTo/index.wiki b/documentation/18.01/eiffel/Tutorials/Mini-HowTo/index.wiki index f54cf99d..fb607696 100644 --- a/documentation/18.01/eiffel/Tutorials/Mini-HowTo/index.wiki +++ b/documentation/18.01/eiffel/Tutorials/Mini-HowTo/index.wiki @@ -3,3 +3,4 @@ [[Property:title|Mini HowTo]] In this section, you will find little how-tos that can be used to know how to do some very specific mechanics in Eiffel. Those how-tos are small by design and can be used to show very fundamental mechanisms for beginners or more advance mechanisms. +* [[CTRL_C console]]