From 007a977cb07be98c53c208a5c8e59550e0fca945 Mon Sep 17 00:00:00 2001 From: Emery Hemingway Date: Mon, 23 Jul 2018 13:56:10 +0200 Subject: [PATCH] Fix CTRL keys for Workman layout Fix #2931 --- .../server/input_filter/en_workman.chargen | 52 +++++++++---------- 1 file changed, 26 insertions(+), 26 deletions(-) diff --git a/repos/os/src/server/input_filter/en_workman.chargen b/repos/os/src/server/input_filter/en_workman.chargen index 8e9629bffc..a7b81479c6 100644 --- a/repos/os/src/server/input_filter/en_workman.chargen +++ b/repos/os/src/server/input_filter/en_workman.chargen @@ -118,31 +118,31 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + +