summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2016-05-05 15:05:09 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2016-05-05 15:05:09 +0100
commitef77abb499ea89a8d787d71a0ccf8a192ea51780 (patch)
tree521ce4d1815e559dd33774ad012bb95c59252511
parentf2bf00a03b27b69df76d31e07b0dc57325800737 (diff)
10x20: Avoid replacing >127 unicode quotes
-rw-r--r--specs5
1 files changed, 4 insertions, 1 deletions
diff --git a/specs b/specs
index 81c1c25..7a2d664 100644
--- a/specs
+++ b/specs
@@ -43,6 +43,9 @@ entire '
pcf 10x20
rules Trad
-entire ` ' : ; . ,
+entire : ; . ,
+verbatim if ($props{' 7bit'}) {
+entire ` '
+verbatim }
endrules