scripts/rename-graphs
changeset 2620 8f41a3129746
parent 2558 e70b52a8cd57