From a0030713e972fa81e928992f5cf47818a71c9804 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Uwe=20St=C3=B6hr?= Date: Wed, 15 May 2013 00:03:46 +0200 Subject: [PATCH] InsetBox.cpp: remove unnecessary non-ASCII char - this char made problems when storing the file in Unicode --- src/insets/InsetBox.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/insets/InsetBox.cpp b/src/insets/InsetBox.cpp index f6102638ae..bb8602c3df 100644 --- a/src/insets/InsetBox.cpp +++ b/src/insets/InsetBox.cpp @@ -320,7 +320,7 @@ void InsetBox::latex(otexstream & os, OutputParams const & runparams) const if (from_ascii(width_string) != "-9.99\\columnwidth") { os << "\\framebox"; if (!params_.inner_box) { - // Special widths, see usrguide §3.5 + // Special widths, see usrguide sec. 3.5 // FIXME UNICODE if (params_.special != "none") { os << "[" << params_.width.value() -- 2.39.5