scripts/rename-graphs
changeset 2624 dc4dd5fc0e25
parent 2558 e70b52a8cd57