scripts/rename-graphs
changeset 2634 e98bbe64cca4
parent 2558 e70b52a8cd57