improve build listing
authorthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Mon, 25 Jan 2010 10:47:08 +0000 (10:47 +0000)
committerthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Mon, 25 Jan 2010 10:47:08 +0000 (10:47 +0000)
commitf0a64034eda5d420c06f4c02492834b87071b6eb
treedbb02e2756115d87c85fa50ba342daea49ec707e
parent7c4e84bdd1936180e6b7979a7f3e9b53fb2fb632
improve build listing
scripts/manage-infrastructure.py