tree 90f24f2e3be918382a59caa6a4b2ba2e0d317c8d
parent 36659fef2aa57dd70668c44c8d9051e32e0af45a
author Jack Jansen <jack.jansen@cwi.nl> 893172112 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 893172112 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4010582

Regenerated from new (3.1) universal headers