scripts/rename-graphs
changeset 2537 4a2091b1796a
parent 2532 06495c0e12f5
child 2552 5f711e4668f5