Remove sh3e sanitization.

gas/config/.Sanitize

@@ -178,28 +178,4 @@ else
 	fi
 fi
 
-sh3e_files="tc-sh.c"
-if ( echo $* | grep keep\-sh3e > /dev/null ) ; then
-	if [ -n "${verbose}" ] ; then
-		echo Keeping sh3e stuff in $sh3e_files.
-	fi
-else
-	if [ -n "${verbose}" ]; then
-		echo -n Cleaning sh3e in `pwd`:
-	fi
-	for f in $sh3e_files ; do
-		if [ -n "${verbose}" ] ; then
-			echo -n " " $f
-		fi
-		sed -e '/start\-sanitize\-sh3e/,/end\-sanitize\-sh3e/d' -e '/ xl /d' < $f > new
-		if [ -n "${safe}" ] ; then
-			mv $f .Recover
-		fi
-		mv new $f
-	done
-	if [ -n "${verbose}" ]; then
-		echo ""
-	fi
-fi
-
 # End of file.