scripts/rename-graphs
changeset 2566 f75c05a5bbe6
parent 2558 e70b52a8cd57