commit | 4915c99248c8c71fc88cb3c009f17f749ad8afa1 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Mon May 20 11:24:18 1996 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Mon May 20 11:24:18 1996 +0000 |
tree | 8ab27e8b304512882784b0ecef09693e912992d1 | |
parent | 86a853ff776077efd08d0ed59809add7d9ddb9ff [diff] |
Export OptResObj_{New,Convert}