From 8f34d1d64451220aba4de24cf322bdd826ff7248 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 4 Sep 2006 14:22:34 +0000 Subject: [PATCH] no-indent --- components/content_pres/boxPp.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/components/content_pres/boxPp.ml b/components/content_pres/boxPp.ml index 2957a3975..53149877e 100644 --- a/components/content_pres/boxPp.ml +++ b/components/content_pres/boxPp.ml @@ -31,7 +31,7 @@ module Pres = Mpresentation let string_space = " " let string_space_len = String.length string_space -let string_indent = string_space +let string_indent = (* string_space *) "" let string_indent_len = String.length string_indent let string_ink = "##" let string_ink_len = String.length string_ink -- 2.39.2