summaryrefslogtreecommitdiff
path: root/.indent.pro
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2011-08-15 21:51:21 +0000
committerChristian Grothoff <christian@grothoff.org>2011-08-15 21:51:21 +0000
commit6fd3e715cae09fa6e657c96f1c6f9711ee51f42f (patch)
treeedbc42f37889069033e57da201fef242939a6e0f /.indent.pro
parent502af2167f7c218366666ca4944bd7cc54b5b19a (diff)
indentation
Diffstat (limited to '.indent.pro')
-rw-r--r--.indent.pro4
1 files changed, 2 insertions, 2 deletions
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
//
//
//