tree 8ab27e8b304512882784b0ecef09693e912992d1
parent 86a853ff776077efd08d0ed59809add7d9ddb9ff
author Jack Jansen <jack.jansen@cwi.nl> 832591458 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 832591458 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%406028

Export OptResObj_{New,Convert}