From: Armaan Bhojwani <me@armaanb.net>
Date: Tue, 20 Apr 2021 14:08:20 +0000 (-0400)
Subject: Remove annoying ligature
X-Git-Url: https://git.armaanb.net/?p=config.org.git;a=commitdiff_plain;h=31ae73869641a198a4dbf54662c345cb538802f3

Remove annoying ligature
---

diff --git a/config.org b/config.org
index b63a59e..63ca6ff 100644
--- a/config.org
+++ b/config.org
@@ -86,9 +86,9 @@ Great programming font with ligatures.
        "!!" "!=" ">]" ">:" ">>-" ">>=" ">=>" ">>>" ">-" ">=" "&&&"
        "&&" "|||>" "||>" "|>" "|]" "|}" "|=>" "|->" "|=" "||-" "|-"
        "||=" "||" ".." ".?" ".=" ".-" "..<" "..." "+++" "+>" "++"
-       "[||]" "[<" "[|" "{|" "??" "?." "?=" "?:" "##" "###" "####"
-       "#[" "#{" "#=" "#!" "#:" "#_(" "#_" "#?" "#(" ";;" "_|_" "__"
-       "~~" "~~>" "~>" "~-" "~@" "$>" "^=" "]#"))
+       "[||]" "[<" "[|" "{|" "?." "?=" "?:" "##" "###" "####" "#["
+       "#{" "#=" "#!" "#:" "#_(" "#_" "#?" "#(" ";;" "_|_" "__" "~~"
+       "~~>" "~>" "~-" "~@" "$>" "^=" "]#"))
     (global-ligature-mode t))
 #+end_src
 *** Emoji