tree 678b77a3a68dbfe02d97a35241dfda3814291736
parent b340acf9fd893140efd65a56134a814a8d9bac73
author Jack Jansen <jack.jansen@cwi.nl> 1043619310 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 1043619310 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4030930

Fix an omission in the previous checkin.