4 Commits

Author	SHA1	Message	Date
perry	312aca536f	add LIBRARY section to man page	1998-02-05 18:45:17 +00:00
cgd	693e99f736	clean up Ids	1995-02-27 12:54:33 +00:00
cgd	41006bd47b	rcsids. also, avoid floating point when picking scale value. doesn't ... cost much, only done once.	1994-05-14 06:31:10 +00:00
cgd	da60d30fb3	user-land profiling code.	1994-05-14 06:02:57 +00:00