tree b7a739c1c8896164b8dcc6247a3acad65c80576d
parent 80c9d88cbfb50dcf65e57da7283ee2d73b8d3698
author Guido van Rossum <guido@python.org> 672262005 +0000
committer Guido van Rossum <guido@python.org> 672262005 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%402371

Use built-in remove() method of lists instead of util.remove.