tune build names
authorthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Mon, 31 Mar 2008 09:40:04 +0000 (09:40 +0000)
committerthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Mon, 31 Mar 2008 09:40:04 +0000 (09:40 +0000)
commit3f85e36ac1dcf9bbfbfe613c0304226c4d2c016d
treef1e5049a738a6d90cc095bb9080f4314a606d44a
parent734a32ad660cd3edd66a0809a52487f3c333e2a2
tune build names
scripts/all-builds.sh