annotate rDiff/bin/genarglist.sh @ 3:29a698dc5c7e default tip

Merge multiple heads.

#/bin/bash

list=
until [ -z $1 ] ; do
	if [ $# != 1 ];
	then
		list="${list}$1:"
	else
		list="${list}$1"
	fi
	shift
done
echo $list