tree 7517b6ef8e2beaf68c94f260d14d71b42f84f440
parent 1d3e239f0804537c5d5f0333d3a3287dd57f784d
author Sjoerd Mullender <sjoerd@acm.org> 965980116 +0000
committer Sjoerd Mullender <sjoerd@acm.org> 965980116 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4016722

Use built in function filter instead of doing it laboriously by hand.