| commit | ffb8fef6d56e50fcf3dfb3b0a3c037356db9e8a9 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 12 15:39:56 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 12 15:39:56 2003 +0000 |
| tree | 5c9134ccd66a32c91d4eec56a0b9aff78a594480 | |
| parent | a359a3d0ac42cb9720af41c1b99fce9422eb0ad3 [diff] |
Allow this to run both standalone and as a window in the IDE.