scripts/rename-graphs
changeset 2617 5222a3c470ed
parent 2558 e70b52a8cd57