From 52b570bfb59738d9e0531595982168e42e58c4ea Mon Sep 17 00:00:00 2001
From: gabrielhdt <gabrielhondet@gmail.com>
Date: Wed, 4 Mar 2020 14:36:13 +0100
Subject: [PATCH] nicer table?

---
 README.md | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/README.md b/README.md
index a364c0e..9891aca 100644
--- a/README.md
+++ b/README.md
@@ -45,8 +45,8 @@ The code of `set-local-abbrevs` comes from
 
 And we define the following abbreviations,
 
-|----------|---|
-| subtype  | ⊑ |
-| upcast   | ↑ |
-| downcast | ↓ |
-|----------|---|
+| Key sequence | Expansion |
+|:-------------|----------:|
+| subtype      |         ⊑ |
+| upcast       |         ↑ |
+| downcast     |         ↓ |
-- 
GitLab