From 463cac6e8dfe7f77acbf8e337e096f2fbcf52011 Mon Sep 17 00:00:00 2001 From: eiffel-org Date: Sun, 29 Apr 2018 23:58:51 +0000 Subject: [PATCH] Update wikipage Managing CTRL+C on console. (Signed-off-by:tioui). git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1990 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../Tutorials/Mini-HowTo/Managing-CTRL-C-on-console.wiki | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/documentation/18.01/eiffel/Tutorials/Mini-HowTo/Managing-CTRL-C-on-console.wiki b/documentation/18.01/eiffel/Tutorials/Mini-HowTo/Managing-CTRL-C-on-console.wiki index 15fc1a22..f8e811a8 100644 --- a/documentation/18.01/eiffel/Tutorials/Mini-HowTo/Managing-CTRL-C-on-console.wiki +++ b/documentation/18.01/eiffel/Tutorials/Mini-HowTo/Managing-CTRL-C-on-console.wiki @@ -23,4 +23,5 @@ Normally, if the user use the CTRL+C keys, the Eiffel application detect it as a l_ctrl_c := True retry end - end \ No newline at end of file + end + \ No newline at end of file