changeset 359 | 0eec1736ff1d |
parent 344 | 236b1902e5cc |
child 366 | efbd0ab50a77 |
1.1 --- a/tools/lemon-0.x-to-1.x.sh Tue Nov 04 21:14:57 2008 +0100 1.2 +++ b/tools/lemon-0.x-to-1.x.sh Tue Nov 04 21:25:15 2008 +0100 1.3 @@ -90,6 +90,7 @@ 1.4 -e "s/\<StoreBoolMap\>/LoggerBoolMap/g"\ 1.5 -e "s/\<storeBoolMap\>/loggerBoolMap/g"\ 1.6 -e "s/\<BoundingBox\>/Box/g"\ 1.7 + -e "s/\<readNauty\>/readNautyGraph/g"\ 1.8 <$i > $TMP 1.9 mv $TMP $i 1.10 done