tree c5b7a8ea3abef9310baa2cf54757a19e0cccfd5b
parent cbed91b4db6817b7bbbb12ede40bfb5d26a9bf14
author Jack Jansen <jack.jansen@cwi.nl> 996846592 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 996846592 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4022170

Obsolete, removed.