scripts/rename-graphs
changeset 2565 4f411276c767
parent 2558 e70b52a8cd57