commit | 184c16031e2f0c9eacd5596f12bf6b1227a990e0 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Tue Apr 08 15:27:29 1997 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Apr 08 15:27:29 1997 +0000 |
tree | 646439f61b521961b1f6d2e7b0178f082109929e | |
parent | 08c3be35c3309a81f02e14e56838148137a02caa [diff] |
DisposPtr -> DisposePtr