tree db3d480be21a9af247b137fed6f2bf3f9aa3949d
parent 81f51c74ea488f17ba594836478c3f678d95f768
author Jack Jansen <jack.jansen@cwi.nl> 793295170 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 793295170 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%404857

Minor bug fix