From e0fb9191e5808034b35bbc67af2ff063501450ed Mon Sep 17 00:00:00 2001
From: Fernando Schauenburg <dev@schauenburg.me>
Date: Thu, 30 Jan 2020 19:17:54 +0100
Subject: [PATCH] Emulate AltGr via Ctrl + Alt in mintty

---
 dotfiles/.config/mintty/config | 1 +
 1 file changed, 1 insertion(+)

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