chiark / gitweb /
10x20: Avoid replacing >127 unicode quotes
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 5 May 2016 14:05:09 +0000 (15:05 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 5 May 2016 14:05:09 +0000 (15:05 +0100)
specs

diff --git a/specs b/specs
index 81c1c257a2b505d970e931302e192d0e22d5a835..7a2d664ef22219339d0b3ca03607806075964a19 100644 (file)
--- a/specs
+++ b/specs
@@ -43,6 +43,9 @@ entire                        '
 
 pcf                    10x20
 rules                  Trad
 
 pcf                    10x20
 rules                  Trad
-entire                 ` ' : ; . ,
+entire                 : ; . ,
+verbatim       if ($props{' 7bit'}) {
+entire                 ` '
+verbatim       }
 
 endrules
 
 endrules