scripts/rename-graphs
changeset 2576 ae092c63d3ba
parent 2558 e70b52a8cd57