From ce084c4c3f8646f7b43cb2a2ccf2422f52863142 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sun, 8 Jan 2017 20:47:11 +0530 Subject: [PATCH] Remove duplicated definition --- kitty/fonts/box_drawing.py | 1 - 1 file changed, 1 deletion(-) diff --git a/kitty/fonts/box_drawing.py b/kitty/fonts/box_drawing.py index 89f9490e8..445e68f40 100644 --- a/kitty/fonts/box_drawing.py +++ b/kitty/fonts/box_drawing.py @@ -123,7 +123,6 @@ box_chars = { '┇': [p(vholes, num=2, level=3)], '┊': [p(vholes, num=3)], '┋': [p(vholes, num=3, level=3)], - '┌': [p(corner, '┌')], } t, f = 1, 3