From 6fd3e715cae09fa6e657c96f1c6f9711ee51f42f Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Mon, 15 Aug 2011 21:51:21 +0000
Subject: indentation

---
 .indent.pro | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to '.indent.pro')

diff --git a/.indent.pro b/.indent.pro
index 29c9900c3..7009a9140 100644
--- a/.indent.pro
+++ b/.indent.pro
@@ -449,8 +449,8 @@
 //             ((mask[0] == '0') || (mask[0] == '*')))))
 // -------
 // For now just keep ignoring. After everything settles down, we might want to start putting custom newlines where it is appropriate
---honour-newlines
-//--ignore-newlines
+// --honour-newlines
+--ignore-newlines
 //
 //
 //
-- 
cgit v1.2.3