scripts/rename-graphs
changeset 2559 75dd6d724f26
parent 2552 5f711e4668f5
child 2560 635e7985be46