scripts/rename-graphs
changeset 2586 37fb2c384c78
parent 2558 e70b52a8cd57