| 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}