# HG changeset patch # User Peter Kovacs # Date 1239180120 -7200 # Node ID 003367ffe66ed9ecc20f606716a3e72fe315333c # Parent 37216ca5b9c610a335e9dcdb941115003d1f3769 Add RangeIdMap, CrossRefMap to the rename script (#160) diff -r 37216ca5b9c6 -r 003367ffe66e tools/lemon-0.x-to-1.x.sh --- a/tools/lemon-0.x-to-1.x.sh Tue Apr 07 14:50:20 2009 +0100 +++ b/tools/lemon-0.x-to-1.x.sh Wed Apr 08 10:42:00 2009 +0200 @@ -89,6 +89,10 @@ -e "s/\<\([Ff]\)orkWriteMap\>/\1orkMap/g"\ -e "s/\/LoggerBoolMap/g"\ -e "s/\/loggerBoolMap/g"\ + -e "s/\/CrossRefMap/g"\ + -e "s/\/crossRefMap/g"\ + -e "s/\/RangeIdMap/g"\ + -e "s/\/rangeIdMap/g"\ -e "s/\/Box/g"\ -e "s/\/readNautyGraph/g"\ -e "s/\/ReverseDigraph/g"\