author | kpeter |
Fri, 04 Jan 2008 00:47:08 +0000 | |
changeset 2552 | 5f711e4668f5 |
parent 2551 | 5004899aa870 |
child 2553 | bfced05fa852 |
1.1 --- a/scripts/rename-graphs Mon Dec 31 19:21:21 2007 +0000 1.2 +++ b/scripts/rename-graphs Fri Jan 04 00:47:08 2008 +0000 1.3 @@ -4,6 +4,7 @@ 1.4 1.5 cat $1 | \ 1.6 sed -e "s/bipartite undirected graph/bipartite graph/g"\ 1.7 + -e "s/undirected graph/_gr_aph_label_/g"\ 1.8 -e "s/undirected edge/_ed_ge_label_/g"\ 1.9 -e "s/UGraph/_Gr_aph_label_/g"\ 1.10 -e "s/uGraph/_gr_aph_label_/g"\