From d637d149ccc272f419cfcda9564e07e7141979d4 Mon Sep 17 00:00:00 2001 From: IIMarckus Date: Wed, 21 Dec 2011 14:20:45 -0700 Subject: Add a character for the numero sign. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Unicode has a character for just about anything… hg-commit-id: 55e8f69345df --- textpre.awk | 2 ++ 1 file changed, 2 insertions(+) (limited to 'textpre.awk') diff --git a/textpre.awk b/textpre.awk index a10f5f12..d86fb14d 100644 --- a/textpre.awk +++ b/textpre.awk @@ -155,6 +155,8 @@ char["│"] = "$7C" char["└"] = "$7D" char["┘"] = "$7E" +char["№"] = "$74" + char[" "] = "$7F" char["A"] = "$80" char["B"] = "$81" -- cgit v1.3.1-sl0p