From 747c2aaad5e7ca283374b7dd631a52db18351708 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@ens.fr>
Date: Thu, 14 Apr 2011 10:57:24 +0200
Subject: [PATCH] New convention: 100 columns per line

Please follow this rule
---
 tools/git-hooks/pre-commit | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/git-hooks/pre-commit b/tools/git-hooks/pre-commit
index 58f295e..5a0007b 100755
--- a/tools/git-hooks/pre-commit
+++ b/tools/git-hooks/pre-commit
@@ -6,7 +6,7 @@ check_file() {
   name=$1
   tmp=$2
 
-  if [  `awk ' { if ( length > x ) { x = length } } END { print x }' $tmp` -gt 120 ]; then
+  if [  `awk ' { if ( length > x ) { x = length } } END { print x }' $tmp` -gt 100 ]; then
     echo "File \"$name\" has lines with more than 120 columns."
     bad=1
   fi