scripts/rename-graphs
changeset 2588 4d3bc1d04c1d
parent 2558 e70b52a8cd57