From 6590626a7aec081a3cdf2dd621c79e71aa01237a Mon Sep 17 00:00:00 2001
From: Fernando Schauenburg <dev@schauenburg.me>
Date: Wed, 4 Mar 2020 18:38:26 +0100
Subject: [PATCH] Sync mintty with master branch

---
 roles/mintty/files/config | 1 +
 1 file changed, 1 insertion(+)

diff --git a/roles/mintty/files/config b/roles/mintty/files/config
index 1e1df5e..d0c0577 100644
--- a/roles/mintty/files/config
+++ b/roles/mintty/files/config
@@ -1,6 +1,7 @@
 BoldAsFont=no
 Charset=UTF-8
 Columns=130
+CtrlAltIsAltGr=yes
 CursorType=underscore
 Font=Source Code Pro Medium
 FontHeight=9