scripts/rename-graphs
changeset 2589 1bbb28acb8c9
parent 2558 e70b52a8cd57