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

These are long obsolete. Get rid of them.