summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--DOCS/tech/new_policy_proposal.txt5
1 files changed, 3 insertions, 2 deletions
diff --git a/DOCS/tech/new_policy_proposal.txt b/DOCS/tech/new_policy_proposal.txt
index fc67bffe94..73ed4dc0fb 100644
--- a/DOCS/tech/new_policy_proposal.txt
+++ b/DOCS/tech/new_policy_proposal.txt
@@ -136,8 +136,9 @@ Cosmetics
indentation changes (try to avoid this), separate them strictly from real
changes.
- NOTE: If you had to put if(){ .. } over a large (> 5 lines) chunk of code,
- do NOT change the indentation of the inner part (don't move it to the right)!
+ NOTE: If you had to put if()@{ .. @} over a large (> 5 lines) chunk of code,
+ then either do NOT change the indentation of the inner part within (don't
+ move it to the right)! or do so in a separate commit
Commit log message