[Armadeus-commitlog] armadeus branch, master, updated. armadeus-4.1-258-g181a443

[Fabien M <fa...@us...>]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "armadeus".

The branch, master has been updated
       via  181a4437aa2ca776a64acb7b38e04d29a6e787e7 (commit)
       via  69b429b79426faba0b25b9ce4f46c9214db4528e (commit)
      from  cb4af8dbd7c08a530c4b1421586d0ecffa22899b (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 181a4437aa2ca776a64acb7b38e04d29a6e787e7
Merge: 69b429b cb4af8d
Author: Fabien Marteau <fab...@ar...>
Date:   Thu Apr 5 13:48:10 2012 +0200

    Merge branch 'master' of ssh://armadeus.git.sourceforge.net/gitroot/armadeus/armadeus

commit 69b429b79426faba0b25b9ce4f46c9214db4528e
Author: Fabien Marteau <fab...@ar...>
Date:   Thu Apr 5 13:47:44 2012 +0200

    [TOOLS][quiltify] use TAB not spaces

-----------------------------------------------------------------------

Summary of changes:
 scripts/quiltify.sh |   26 +++++++++++++-------------
 1 files changed, 13 insertions(+), 13 deletions(-)

diff --git a/scripts/quiltify.sh b/scripts/quiltify.sh
index 272affd..5f09f94 100755
--- a/scripts/quiltify.sh
+++ b/scripts/quiltify.sh
@@ -7,28 +7,28 @@ answer=""
 
 ask_user_banner()
 {
-        echo
-        echo -e "--- "$1
+	echo
+	echo -e "--- "$1
 }
 
 # $1: thing to ask, $* possibilities. Will fill in "answer" variable.
 ask_user()
 {
-        ask_user_banner "$1"
-        shift
-        n=1
-        while [ "$1" != "" ]; do
-                echo "  $n] "$1
-                shift
-                let n=n+1
-        done
-        read -p "> " answer
+	ask_user_banner "$1"
+	shift
+	n=1
+	while [ "$1" != "" ]; do
+			echo "  $n] "$1
+			shift
+			let n=n+1
+	done
+	read -p "> " answer
 }
 
 ask_user_choice()
 {
-        ask_user_banner "$1"
-        shift
+	ask_user_banner "$1"
+	shift
 	export PS3="> "
 	select answer in $1; do
 #		echo "($answer) ($REPLY)"


hooks/post-receive
-- 
armadeus