diff --git a/.Sanitize b/.Sanitize index cd20f4b6e54..32ac840abfa 100644 --- a/.Sanitize +++ b/.Sanitize @@ -106,7 +106,7 @@ else keep_these_too="${keep_these_too} ${inet_files}" fi -ide_files="itcl libide vmake" +ide_files="libide vmake" if (echo $* | grep keep\-ide > /dev/null); then keep_these_too="${keep_these_too} ${ide_files}"