From a46ae11030fbd815cd95f279392c2d6074ddad06 Mon Sep 17 00:00:00 2001 From: epriestley Date: Thu, 30 Jun 2011 12:14:11 -0700 Subject: [PATCH] Restore heavy arrow to signify linebreak. --- .../parser/changeset/DifferentialChangesetParser.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/applications/differential/parser/changeset/DifferentialChangesetParser.php b/src/applications/differential/parser/changeset/DifferentialChangesetParser.php index fb6c5befa1..772a00cadf 100644 --- a/src/applications/differential/parser/changeset/DifferentialChangesetParser.php +++ b/src/applications/differential/parser/changeset/DifferentialChangesetParser.php @@ -700,7 +700,7 @@ class DifferentialChangesetParser { foreach ($vector as $ii => $char) { $result[] = $char; if (isset($break_here[$ii])) { - $result[] = "!
"; + $result[] = "\xE2\xAC\x85
"; } }