beard%netscape.com 589bfa37e9 rename void* to void, for file systems that don't like "*" in file names. emit a single JavaScript for showing stack crawls.

2000-09-12 00:09:06 +00:00

..

boehm

rename void* to void, for file systems that don't like "*" in file names. emit a single JavaScript for showing stack crawls.

2000-09-12 00:09:06 +00:00