From 31ae73869641a198a4dbf54662c345cb538802f3 Mon Sep 17 00:00:00 2001 From: Armaan Bhojwani Date: Tue, 20 Apr 2021 10:08:20 -0400 Subject: [PATCH] Remove annoying ligature --- config.org | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 -- 2.39.2