| commit | 4240b610f3cfa9e18ada581ec30616fba96f606e | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 03 14:44:07 1997 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 03 14:44:07 1997 +0000 |
| tree | 7e1db9ed365192bd5e0c3127362db0aa89aa32fd | |
| parent | 9a8cb84072842d183c3614b2a232d1426bd8c870 [diff] |
Use MacOS.string_id_to_buffer for the hack to convert string id() to buffer address.