From 0e904c904fc1af09f7e33feba6539230ff5f9e09 Mon Sep 17 00:00:00 2001 From: Vincent Batts Date: Thu, 14 Jan 2016 15:18:52 -0500 Subject: [PATCH] style: remove unicode character MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit pandoc/LaTeX is not happy with this shady character. ``` ! Package inputenc Error: Unicode char \u8:↔ not set up for use with LaTeX. ``` Signed-off-by: Vincent Batts --- style.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/style.md b/style.md index e54956b38..4f4b0f642 100644 --- a/style.md +++ b/style.md @@ -3,7 +3,7 @@ ## Traditionally hex settings should use JSON integers, not JSON strings For example, [`"classID": 1048577`][class-id] instead of `"classID": "0x100001"`. -The config JSON isn't enough of a UI to be worth jumping through string ↔ integer hoops to support an 0x… form ([source][integer-over-hex]). +The config JSON isn't enough of a UI to be worth jumping through string <-> integer hoops to support an 0x… form ([source][integer-over-hex]). ## Constant names should keep redundant prefixes